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 |