diff options
| author | David Waern <david.waern@gmail.com> | 2011-01-22 00:00:35 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2011-01-22 00:00:35 +0000 |
| commit | 4bc5e999c3b2c2bbf34c183218be6004c6cee54f (patch) | |
| tree | e4de39d52421a07b673f2b0405a4bccc6d2d8fd9 /examples/Bug7.hs | |
| parent | 86a3be291b61897ac05fc2a5e378b24720d157aa (diff) | |
Put title outside doc div when HTML:fying title+prologue
Avoids indenting the title, and makes more sense since the title
is not a doc string anyway.
Diffstat (limited to 'examples/Bug7.hs')
0 files changed, 0 insertions, 0 deletions