diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-09-11 11:37:26 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-09-11 11:37:26 -0400 |
| commit | b6ad8fe5b4adacea14831171734f954969a72e23 (patch) | |
| tree | a0b300183c14a014f4c7f9ece41eb6998eb4e7bc /src/settings.sml | |
| parent | 299943c475ee8fa62e353d4431a4365d9db2c0ca (diff) | |
Disable C optimization in debug mode
Diffstat (limited to 'src/settings.sml')
0 files changed, 0 insertions, 0 deletions