.hgignore
changeset 378 e5867a64cae5
parent 370 0680b6cd90cf
child 566 33de88ae7b62
--- a/.hgignore	Sun Jun 20 11:00:26 2010 -0700
+++ b/.hgignore	Sun Jun 20 11:00:57 2010 -0700
@@ -7,6 +7,8 @@
 *.out
 *.toc
 *.synctex.gz
+*.nav
+*.snm
 
 # artifacts
 blob1.pdf