diff options
| author | davve <davve@dtek.chalmers.se> | 2007-01-12 18:31:36 +0000 |
|---|---|---|
| committer | davve <davve@dtek.chalmers.se> | 2007-01-12 18:31:36 +0000 |
| commit | f4ba2b390aa8e75b8154685e05d55ff3f7aa4130 (patch) | |
| tree | ba08b2d9f80b9595cbb44c939028f878e54d10f8 /html | |
| parent | ba6251a02df22db2997bcc159db61cdb0c700b3f (diff) | |
Remove DocOption, use the GHC type
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions