chore: add tools/ to .gitignore

mecaneer23 · May 2, 2024 · 56b8850 · 56b8850
1 parent 1c88cde
commit 56b8850
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -7,3 +7,4 @@ __pycache__
 todo.bat
 .hypothesis
 build/
+tools/