diff options
| author | David Waern <david.waern@gmail.com> | 2010-05-15 16:42:29 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2010-05-15 16:42:29 +0000 |
| commit | 5cccdc672acb099672f8faaca0036f2473c13a77 (patch) | |
| tree | 83cd0b8c2e3c4be24b0581412cce89af2f3ca901 /examples/Bug10.hs | |
| parent | 6662e4f624db0747ca23073b2c32be2f0fa0dd22 (diff) | |
Improve description of --dump-interface
Diffstat (limited to 'examples/Bug10.hs')
0 files changed, 0 insertions, 0 deletions