diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-10-10 15:37:14 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-10-10 15:37:14 -0400 |
| commit | 7fd20122d4bfed16f82051d415f9e0c1c6db0e04 (patch) | |
| tree | 59ec01525ded42885a850c9e83ba458c79843ce5 /.hgignore | |
| parent | 5d51d86b0973fe6996b4b64ec78d9fc810177e02 (diff) | |
Tweaking unification fix to apply to demo/more
Diffstat (limited to '.hgignore')
0 files changed, 0 insertions, 0 deletions