diff options
| author | simonmar <unknown> | 2004-05-25 10:41:46 +0000 |
|---|---|---|
| committer | simonmar <unknown> | 2004-05-25 10:41:46 +0000 |
| commit | 4d29cdfc55ceb564e01f0e00f1bf8a8d8c5d38e6 (patch) | |
| tree | cff2d97e95ad97592c9948d1538f32c72b83bb5b /src/FastMutInt.hs | |
| parent | cf2b9152dfad0a4e40be94a048e62d104e9e6506 (diff) | |
[haddock @ 2004-05-25 10:41:46 by simonmar]
Complain if -h is used with --gen-index or --gen-contents, because
it'll overwrite the new index/contents.
Diffstat (limited to 'src/FastMutInt.hs')
0 files changed, 0 insertions, 0 deletions