aboutsummaryrefslogtreecommitdiff
path: root/html/Ocean.std-theme
diff options
context:
space:
mode:
authorDavid Waern <david.waern@gmail.com>2011-12-03 05:20:20 +0100
committerDavid Waern <david.waern@gmail.com>2011-12-03 05:20:20 +0100
commitb03be836b8491e09e31bc7a1bba14588db79df11 (patch)
treebcefe05aa4db60813cff625588a468657846c8b8 /html/Ocean.std-theme
parent07c816c5e548824bb089442cf32d70682e47200b (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')
0 files changed, 0 insertions, 0 deletions