Add section on polymorphism.

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

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