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 /latex | |
| 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 'latex')
0 files changed, 0 insertions, 0 deletions