diff options
author | Adam Chlipala <adamc@hcoop.net> | 2010-01-30 15:34:00 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2010-01-30 15:34:00 -0500 |
commit | 90dd3a368654d5839d37fb5afdc0bf1599052a6b (patch) | |
tree | 16c3c245cc570048b26279af81a567228da5be35 /.hgignore | |
parent | 2e15d09d98e36a3ec714b57b16c551f6f0b95c10 (diff) |
Another try to include more Autofiles in the distribution
Diffstat (limited to '.hgignore')
-rw-r--r-- | .hgignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -39,7 +39,7 @@ demo/more/demo.* *.pdf *.ps *.toc -*.m4 +aclocal.m4 .depend Makefile.coq |