This commit is contained in:
rob committed 2019-05-01 22:36:22 +02:00
1 parent 27e9ace2c1
commit 9fdefdf4ad
1 file changed
+3
+3
View File
@@ -8,6 +8,9 @@
*.fls *.fls
*.out *.out
*.toc *.toc
*.gz
*.pdf
## Intermediate documents: ## Intermediate documents:
*.dvi *.dvi