1 files changed, 0 insertions, 1 deletions

diff --git a/.hgignore b/.hgignore
index 673b681a..cfb45564 100644
--- a/.hgignore
+++ b/.hgignore
@@ -43,7 +43,6 @@ doc/*.html
 *.pdf
 *.ps
 *.toc
-aclocal.m4
 
 .depend
 Makefile.coq