diff options
| author | bringert <unknown> | 2004-12-01 14:14:07 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2004-12-01 14:14:07 +0000 |
| commit | 78fa296cac2256fb50413d04a6629a8fd972e0de (patch) | |
| tree | 6237a48005a87811e00f86ed07686e29eb78a04c /src/GF/Shell/ShellCommands.hs | |
| parent | 1937fbfab3662c82933aabc8c82de1b7466859a8 (diff) | |
Changed default optimization level to -O2
Diffstat (limited to 'src/GF/Shell/ShellCommands.hs')
0 files changed, 0 insertions, 0 deletions