escluso pdf in gitignore

2022-05-20 19:36:07 +02:00
parent db82cf8a76
commit 7a1ad2a61c
1 changed files with 2 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@ -169,4 +169,5 @@ flycheck_*.el
 *.aux
 *.log
 *.synctex.gz
-*.toc
+*.toc
+*.pdf