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 | 6996fba20597bde4f8f23265d2ad638778316561 (patch) | |
| tree | 0e072056ddb109617dd08fdc9e99f94750cce0ba /.hgignore | |
| parent | d6b698a6ad00a5f707ae48af039388687ac9b4ba (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$ |