branch: externals/blist commit 03d0807e4f1c8e05dd054ec5fbadb24ae4b6a1c5 Author: JSDurand <mmem...@gmail.com> Commit: JSDurand <mmem...@gmail.com>
gitignore: Ignore synctex files as well.
---
.gitignore | 1 +
1 file changed, 1 insertion(+)
diff --git a/.gitignore b/.gitignore
index 3119810497..f441818965 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,6 +5,7 @@
*.kys
*.log
*.toc
+*.synctex.gz
*.elc
*.pdf
*.info
