Add extra meta-files to gitignore

[matthijs/master-project/dsd-paper.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 2c4bbc94626d1e4915d21cbd204a65c50c03cfe2..e0ca27ed8449852db98b54852c30c3808968e83e 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -5,5 +5,7 @@
 *.log
 *.pdf
 *.bak
+*.ptb
+*.synctex.gz
 .latexmkrc
 cλash.tex