diff options
Diffstat (limited to 'pdf/.gitignore')
-rw-r--r-- | pdf/.gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pdf/.gitignore b/pdf/.gitignore index 2d56f3b..b0145d6 100644 --- a/pdf/.gitignore +++ b/pdf/.gitignore @@ -7,7 +7,7 @@ *.out *.log *.pdf -*.synctex.gz +*.synctex* *.toc *.brf |