diff --git a/.gitignore b/.gitignore index 47e4ba4..51a6253 100644 --- a/.gitignore +++ b/.gitignore @@ -6,4 +6,4 @@ *.mtc *.mtc0 *.ptc1 - +*.synctex.gz