🙈 Ignoring pdf files now too.

1 year ago · 9778cad101
parent e5f1407235
commit 9778cad101
1 changed files with 1 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@ -51,13 +51,13 @@ resources/
 .*.lb

 ## Intermediate documents:
+*.pdf
 *.dvi
 *.xdv
 *-converted-to.*
 # these rules might exclude image files for figures etc.
 # *.ps
 # *.eps
-# *.pdf

 ## Generated if empty string is given at "Please type another file name for output:"
 .pdf