diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-07 10:52:51 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-07 10:52:51 -0400 |
| commit | 42c284b9204ef5dfc249cc7273ff2eaa9304e9e6 (patch) | |
| tree | 1a629ae9f99d61753dfa8da8d80865550b7bf8fa /src/mono_env.sml | |
| parent | e5636bb18cfe24bb8aa8dd0df64dfe781622371c (diff) | |
Ask GCC to strip executables
Diffstat (limited to 'src/mono_env.sml')
0 files changed, 0 insertions, 0 deletions