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 | a7efb65ad2482f9af8e56d628b69811cea5ad56d (patch) | |
| tree | 5440f09ee20da6c2b64304679e7f9bc26f1d27e1 /.hgignore | |
| parent | cbec909888bdb0837ade29efb199015226f0fcd3 (diff) | |
Fix structure wildification to take concrete con decls into account
Diffstat (limited to '.hgignore')
0 files changed, 0 insertions, 0 deletions