diff options
| author | David Waern <davve@dtek.chalmers.se> | 2007-10-17 16:02:28 +0000 |
|---|---|---|
| committer | David Waern <davve@dtek.chalmers.se> | 2007-10-17 16:02:28 +0000 |
| commit | 54d9edbb47657ba67b5b1c5248f295c772bf2948 (patch) | |
| tree | fa9748b5e4be17caf9ddee153eeec4316de6fc24 /examples | |
| parent | 0f578158c1745bd98f940c2124c3463055a400b6 (diff) | |
Add --optghc=.. style flag passing to GHC
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions