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 | 975aea70b47f7a8f2ddde7207c46f893a96d1291 (patch) | |
| tree | 5057b84ef264e22f27729248410b66d1872b2d3d /config.h.in | |
| parent | a6be8f23e0d307ad4cf506d1486df635845c390c (diff) | |
Undo fancy wildification; instead, client code should include extra wildcard con declarations
Diffstat (limited to 'config.h.in')
0 files changed, 0 insertions, 0 deletions