Rename tools to tools.adoc

TIER · Jul 21, 2018 · af5f28f · af5f28f
1 parent f1176a1
commit af5f28f
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/schema/tools → schema/tools.adoc b/schema/tools → schema/tools.adoc