diff options
author | Adam Chlipala <adamc@hcoop.net> | 2010-05-29 08:05:31 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2010-05-29 08:05:31 -0400 |
commit | 4a3cb13ae372b66a97d9f85a0e387530ce938c80 (patch) | |
tree | 0e072056ddb109617dd08fdc9e99f94750cce0ba /.hgignore | |
parent | 4a557ce40dd17eb928bb59c2c2eb6d354f9fef06 (diff) |
Include config.h.in in distribution
Diffstat (limited to '.hgignore')
-rw-r--r-- | .hgignore | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -54,5 +54,4 @@ syntax: regexp ^src/coq/Makefile$ ^libtool$ ^config.h$ -^config.h.in$ ^stamp-h1$ |