diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-02-07 18:34:17 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-02-07 18:34:17 -0500 |
| commit | f5efb1ddb1280375335296da63385bf56f6aaeb5 (patch) | |
| tree | 1d72e8c82d52b81f4cbea5986ca2510ee36bffdf /src/static.sml | |
| parent | eb48e8bc513c470f5282a8bef3f4616665caef06 (diff) | |
Turn off GCC's fancy %n checking, because the performance cost is too high
Diffstat (limited to 'src/static.sml')
0 files changed, 0 insertions, 0 deletions