1 files changed, 0 insertions, 1 deletions

diff --git a/.hgignore b/.hgignore
index 03daa61a..134e12b9 100644
--- a/.hgignore
+++ b/.hgignore
@@ -54,5 +54,4 @@ syntax: regexp
 ^src/coq/Makefile$
 ^libtool$
 ^config.h$
-^config.h.in$
 ^stamp-h1$