diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-05-03 10:29:12 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-05-03 10:29:12 -0400 |
| commit | 2ea8a7342ff813ac96fa81770586f69c03dccbc6 (patch) | |
| tree | 496e99c0deed91ed81df74ef5dd397edce5ea011 /configure.ac | |
| parent | 5e29700b15fad9e4ccbbea59b8312c53447df01b (diff) | |
Adaptations to ezyang's patch
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions