.hgignore
changeset 569 caa0a78ca860
parent 566 33de88ae7b62
--- a/.hgignore	Sun Oct 24 22:21:55 2010 -0700
+++ b/.hgignore	Sun Oct 24 22:46:53 2010 -0700
@@ -6,7 +6,7 @@
 *.log
 *.out
 *.toc
-*.synctex.gz
+*.synctex.gz*
 *.nav
 *.snm