rename .tools to tools

2021-05-30 13:14:37 +02:00
parent 8b76a14c73
commit 7e63572201
17 changed files with 12 additions and 12 deletions
@@ -0,0 +1,4 @@
+pip install pre-commit
+git config --unset-all core.hooksPath
+cd ..
+pre-commit install