minor: Added synctex files to .gitignore

2022-04-25 16:31:24 +02:00 · 2022-04-25 16:31:24 +02:00 · 340c94486a
parent 44c946f50a
commit 340c94486a
1 changed files with 1 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -22,6 +22,7 @@
 *.ps
 *.sav
 *.swp
+*.synctex.gz
 *.toc

 *.run.xml