add tools to gitignore (#1379)

openhwgroup · Sep 11, 2023 · f7b7953 · f7b7953
2 parents a9be34a + e7316aa
commit f7b7953
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -44,3 +44,4 @@ xrun_results/
 __pycache__
 .bender/
 Bender.lock
+/tools/