gitignore

2026-05-06 11:01:45 +01:00
parent 279d85e575
commit 6322012193
1 changed files with 1 additions and 1 deletions
@@ -20,7 +20,7 @@
 # these rules might exclude image files for figures etc.
 # *.ps
 # *.eps
-# *.pdf
+*.pdf

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