diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2020-12-29 08:44:11 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2020-12-29 08:44:43 -0800 |
| commit | 3cd21c5f6e1b9ddb1e6ff35d418f6df25c56cb63 (patch) | |
| tree | 52926646f7a14a33ad2e2b91ec8e083dc4672c3e /tools | |
| parent | 55f9b59af181f52f20f3e9eb8f9df3046d3cb536 (diff) | |
| download | pandoc-3cd21c5f6e1b9ddb1e6ff35d418f6df25c56cb63.tar.gz | |
Improve fix to #6983.
If we have a paragraph then a bookmarkEnd, we don't need to
insert the empty paragraph (and in fact it alters the spacing).
Closes #6983.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions