diff options
| author | panne <unknown> | 2003-08-26 19:20:55 +0000 |
|---|---|---|
| committer | panne <unknown> | 2003-08-26 19:20:55 +0000 |
| commit | 5d156a914ad37f6dc0f412acd527ee069b1151fa (patch) | |
| tree | 251b27c8d031fa517be9d665b31959820f94e277 /src/FastMutInt.hs | |
| parent | 32e889cbe0d011daad4cd22f2be67acc768d2827 (diff) | |
[haddock @ 2003-08-26 19:20:55 by panne]
Make it *very* clear that we terminate when given a -V/--version flag
Diffstat (limited to 'src/FastMutInt.hs')
0 files changed, 0 insertions, 0 deletions