Rename tool.py to Tool.py

wubinzzu · Nov 1, 2019 · f8eb375 · f8eb375
1 parent bad0a94
commit f8eb375
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/util/tool.py → util/Tool.py b/util/tool.py → util/Tool.py