Delete tools directory

Signed-off-by: Kjeld Schouten <kjeld@schouten-lebbing.nl>
2024-05-31 10:52:53 +02:00
parent ff1803e7d8
commit 6bbbb9b5e1
1 changed files with 0 additions and 4 deletions
@@ -1,4 +0,0 @@
 pip install pre-commit
 git config --unset-all core.hooksPath
 cd ..
 pre-commit install