diff options
author | David Waern <david.waern@gmail.com> | 2007-11-09 02:40:16 +0000 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2007-11-09 02:40:16 +0000 |
commit | 125025c7461d54be6ec55aaf6237fcf6fbd7f03e (patch) | |
tree | 088313dfbf0d48491a2826de0c7a358548c48a4f /src/Haddock/Utils/FastMutInt2.hs | |
parent | c797f395fa31616b69f1f562b02c881c30c165a7 (diff) |
Don't exit when there are no file arguments
Diffstat (limited to 'src/Haddock/Utils/FastMutInt2.hs')
0 files changed, 0 insertions, 0 deletions