Remove synctex

2020-05-20 10:28:08 +02:00
parent fa7efdb067
commit dec6756b06
2 changed files with 1 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,7 @@
 main.out
 main.log
 main.aux
+main.synctex.gz

 testing/
 data/pages/
--- a/main.synctex.gz
+++ b/main.synctex.gz