aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authortomsmeding <tom.smeding@gmail.com>2016-12-23 21:35:59 +0100
committertomsmeding <tom.smeding@gmail.com>2016-12-23 21:35:59 +0100
commit282c2269606c111acd972488c0c1ef3a3024a835 (patch)
treec70da44b65a6e9d93abc94d0e38b400fe63518fe /.gitignore
parent9620a249bb108ab4b4e3547f9a7afedca549f2be (diff)
Update .gitignore for more sanity
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 2db78b7..5d344b0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,3 +3,6 @@
*.fdb_latexmk
*.fls
*.log
+*.synctex.gz
+
+example.pdf