diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -19,3 +19,11 @@ analyze # Plots graphs/* graphs2/* + +# Tex +doc/prez/* +!doc/prez/Makefile +!doc/prez/prez.tex +!doc/prez/*.svg +!doc/prez/research.bib +!doc/prez/prez.pdf |