.gitignore: add .synctex* exclusion

GorNishanov · zygoloid · commit 0a5aa3190a4b · 2019-03-13T18:29:03.000-07:00
diff --git a/.gitignore b/.gitignore
@@ -20,3 +20,4 @@ std-gram.ext
 .tags_sorted_by_file
 tools/sections
 *.synctex.gz
+*.synctex*
