diff --git a/.gitignore b/.gitignore index 5b43f8f..4cda932 100644 --- a/.gitignore +++ b/.gitignore @@ -10,7 +10,7 @@ *.log *.out *.pdf -*.synctex +*.synctex(busy) *.synctex.gz *.toc *.fls