diff .hgignore @ 1267:052af2b82533

Include config.h.in in distribution
author Adam Chlipala <adamc@hcoop.net>
date Sat, 29 May 2010 08:05:31 -0400
parents be2ef50780ed
children 9cb923efea4d
line wrap: on
line diff
--- a/.hgignore	Thu May 27 16:36:17 2010 -0400
+++ b/.hgignore	Sat May 29 08:05:31 2010 -0400
@@ -54,5 +54,4 @@
 ^src/coq/Makefile$
 ^libtool$
 ^config.h$
-^config.h.in$
 ^stamp-h1$