diff .hgignore @ 540:9eefa0cf3219

Module projection
author Adam Chlipala <adamc@hcoop.net>
date Sat, 29 Nov 2008 15:04:57 -0500
parents a6159d0940f0
children 3c77133afd9a
line wrap: on
line diff
--- a/.hgignore	Sat Nov 29 14:32:33 2008 -0500
+++ b/.hgignore	Sat Nov 29 15:04:57 2008 -0500
@@ -32,3 +32,4 @@
 *.dvi
 *.pdf
 *.ps
+*.toc