1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index b7afe8f..f3f5cdf 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,3 +3,4 @@
 **.log
 **.pdf
 **.dvi
+**.synctex.gz