diff -r 32a76e8886d1 -r 0a53cf540f4d .hgignore
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgignore	Mon Mar 29 16:54:41 2010 -0700
@@ -0,0 +1,8 @@
+# use glob syntax.
+syntax: glob
+
+*.aux
+*.log
+*.out
+*.synctex.gz
+blob1.pdf