Rename tools to schema/tools

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