aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gitignore-tex1
1 files changed, 1 insertions, 0 deletions
diff --git a/gitignore-tex b/gitignore-tex
index 49a2fc2..6fa6509 100644
--- a/gitignore-tex
+++ b/gitignore-tex
@@ -8,3 +8,4 @@
*.log
*.out
*.run.xml
+*.synctex.gz