Add dvi file extensions to gitignore

maxpowis · Dec 15, 2022 · 985b3f8 · 985b3f8
1 parent 53ee772
commit 985b3f8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -9,4 +9,5 @@
 *.aux
 *.synctex(busy)
 *.out
+*.dvi
 release.dat