diff --git a/.gitignore b/.gitignore index 0ad22f6b07517b8d5115605b34ae7f1e55457027..b1fa640cc86ad1d5c6d7f59ed53610a058e00b46 100644 --- a/.gitignore +++ b/.gitignore @@ -52,3 +52,4 @@ main.pdf *.slg *.gls *.glg +main.synctex(busy)