diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-06-25 15:02:48 +0200 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-06-25 15:04:49 +0200 |
| commit | 64aee65f62c7184f31d6778d0d3d9b6dc96e4e91 (patch) | |
| tree | 7ad6aa8dbb8e2e8a7dd43253bc686e6c71cc8a6f /html-test/src/PruneWithWarning.hs | |
| parent | 526067188c056a5d73e7e44671ca98baf12d666b (diff) | |
Drop DocParagraph from front of headers
I can not remember why they were wrapped in paragraphs to begin with and
it seems unnecessary now that I test it. Closes #307.
Diffstat (limited to 'html-test/src/PruneWithWarning.hs')
0 files changed, 0 insertions, 0 deletions