diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-06-03 14:44:08 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-06-03 14:44:08 -0400 |
| commit | 77237674295bb7ba2b5a822eacaeebc53f56d672 (patch) | |
| tree | 5057b84ef264e22f27729248410b66d1872b2d3d /src/sources | |
| parent | 3e638014bc241146ed680f139a34ee3b6b28a890 (diff) | |
Undo fancy wildification; instead, client code should include extra wildcard con declarations
Diffstat (limited to 'src/sources')
0 files changed, 0 insertions, 0 deletions