add tools to gitignore (#1379)

This commit is contained in:
JeanRochCoulon 2023-09-11 12:08:48 +02:00 committed by GitHub
commit f7b79535df
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

1
.gitignore vendored
View file

@ -44,3 +44,4 @@ xrun_results/
__pycache__
.bender/
Bender.lock
/tools/