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 | c575fc9cc6b9063b149e7e19313ae163a385f3d2 (patch) | |
| tree | 16c3c245cc570048b26279af81a567228da5be35 /.hgignore | |
| parent | 1b182b6181381e3b937bc3070abb442dc17d14d8 (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 |