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/hide-bug/C.hs | |
parent | aceb0c15dc66ccef10dd402491515aacb8071a2a (diff) |
Remove --debug. It was't used, and --verbosity should take its place
Diffstat (limited to 'examples/hide-bug/C.hs')
0 files changed, 0 insertions, 0 deletions