diff options
| author | David Waern <david.waern@gmail.com> | 2010-12-06 14:23:15 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2010-12-06 14:23:15 +0000 |
| commit | 650058aceba7a07192cf4e1792e2b24f636dcc31 (patch) | |
| tree | 979d41e57fbc5c197655b2226fd0330931fc9784 /examples/Bug7.hs | |
| parent | aceb0c15dc66ccef10dd402491515aacb8071a2a (diff) | |
Remove --debug. It was't used, and --verbosity should take its place
Diffstat (limited to 'examples/Bug7.hs')
0 files changed, 0 insertions, 0 deletions