Mercurial > cpdt > repo
comparison .hgignore @ 423:d3a40c044ab4
Pass through Subset, to incorporate new coqdoc features
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Wed, 25 Jul 2012 17:03:33 -0400 |
| parents | 549d604c3d16 |
| children | 136d4b84eb96 |
comparison
equal
deleted
inserted
replaced
| 422:a730378789f5 | 423:d3a40c044ab4 |
|---|