diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-08-25 17:12:21 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-08-25 17:12:21 -0400 |
| commit | f9d6e7f4d4e5f1c01fd10bf82232a938b930147f (patch) | |
| tree | 5440f09ee20da6c2b64304679e7f9bc26f1d27e1 /.hgignore | |
| parent | c2390ec66aed4fe73a7641ccc2141b0aec5aa733 (diff) | |
Fix structure wildification to take concrete con decls into account
Diffstat (limited to '.hgignore')
0 files changed, 0 insertions, 0 deletions