598d3ee23b
Previously text that ended a div would be parsed as Plain
unless there was a blank line before the closing div tag.
Test case:
<div class="first">
This is a paragraph.
This is another paragraph.
</div>
Closes #1591.
|
||
|---|---|---|
| .. | ||
| Readers | ||
| Writers | ||
| Arbitrary.hs | ||
| Helpers.hs | ||
| Old.hs | ||
| Shared.hs | ||
| Walk.hs | ||