diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-11-29 15:04:57 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-29 15:04:57 -0500 |
| commit | b85228e9274e8d9845c3e177a64a3dec9f09c349 (patch) | |
| tree | 8b4d080e4eaa826b67062d22c01249052f5ca0a7 /.hgignore | |
| parent | f6bfce0377d834d0a9d41ed6e08be45564586874 (diff) | |
Module projection
Diffstat (limited to '.hgignore')
| -rw-r--r-- | .hgignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -32,3 +32,4 @@ demo/demo.* *.dvi *.pdf *.ps +*.toc |