diff .hgignore @ 22:91e247c68ee8

Template generation
author Adam Chlipala <adamc@hcoop.net>
date Fri, 05 Sep 2008 16:46:32 -0400
parents ea400f692b07
children fd18331e5c0b
line wrap: on
line diff
--- a/.hgignore	Wed Sep 03 16:37:51 2008 -0400
+++ b/.hgignore	Fri Sep 05 16:46:32 2008 -0400
@@ -13,3 +13,5 @@
 
 html/coqdoc.css
 html/*.html
+
+templates/*.v