git ignore output/ and other files

SyneRBI · Jul 2, 2024 · 14e3dc3 · 14e3dc3
1 parent 5875054
commit 14e3dc3
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,10 +1,14 @@
 data/
+output/
 tmp*/
-errr.txt
+err*.txt
 info.txt
-warn.txt
+warn*.txt
 __pycache__/
 *.s
 *.hs
 *~
 *.bak
+*.ahv
+*.hv
+*.v