1 files changed, 3 insertions, 0 deletions

diff --git a/.hgignore b/.hgignore
index cd7886cd..03daa61a 100644
--- a/.hgignore
+++ b/.hgignore
@@ -53,3 +53,6 @@ syntax: regexp
 ^src/c/Makefile$
 ^src/coq/Makefile$
 ^libtool$
+^config.h$
+^config.h.in$
+^stamp-h1$