.gitignore: add the directory /local as ignored

This commit is contained in:
Daniel Kochmański 2023-05-22 10:16:17 +02:00
parent fceb54c237
commit 1a5d1c6ca4

1
.gitignore vendored
View file

@ -4,6 +4,7 @@
\#*
/build
/local
cov-int
*.data