diff options
| author | krasimir <unknown> | 2004-07-31 12:04:38 +0000 |
|---|---|---|
| committer | krasimir <unknown> | 2004-07-31 12:04:38 +0000 |
| commit | 133c8c5c6d45e90ee51ea2bd889367034bcaa845 (patch) | |
| tree | 7261f71d294c0444ae3890cb3d6f0014c242a177 /src/FastMutInt.hs | |
| parent | 64d30b1db8d571bc3b0d8947a81c59b4bd353417 (diff) | |
[haddock @ 2004-07-31 12:04:37 by krasimir]
make the DHtmlTree in contents page more portable. The +/- buttons are replaced
with new images which looks more beatiful.
Diffstat (limited to 'src/FastMutInt.hs')
0 files changed, 0 insertions, 0 deletions