ignore more file types

disco-lang · Sep 24, 2023 · 90d4a08 · 90d4a08
1 parent 7103985
commit 90d4a08
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -36,6 +36,11 @@ ott/*.tex
 *.toc
 *.vrb
 *.pag
+*.dvi
+*.ps
+*.pyg
+*.pdf
+*.cut
 *.rubbercache
 nsf/*.pdf
 nsf/main.tex