diff options
author | David Waern <david.waern@gmail.com> | 2011-12-03 05:20:20 +0100 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2011-12-03 05:20:20 +0100 |
commit | b03be836b8491e09e31bc7a1bba14588db79df11 (patch) | |
tree | bcefe05aa4db60813cff625588a468657846c8b8 /html/Ocean.std-theme/hslogo-16.png | |
parent | 07c816c5e548824bb089442cf32d70682e47200b (diff) |
Slightly better behaviour on top-levels without type signatures.
- Docs don't get attached to the next top-level with signature by
mistake.
- If there's an export list and the top-level is part of it,
its doc comment shows up in the documentation.
Diffstat (limited to 'html/Ocean.std-theme/hslogo-16.png')
0 files changed, 0 insertions, 0 deletions