diff options
author | Nils Carlson <nils@nilscarlson.se> | 2020-10-17 06:52:19 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-16 23:52:19 -0700 |
commit | 2332a08f1e192de24f9ff425ed31f8dd20d1fa82 (patch) | |
tree | 47b9bf1960d60af580b300bb63ad0b7cdee2d69e /src/Text/Pandoc/Logging.hs | |
parent | ae4e9d3b38301b794299f228a9666ed0ab6a19bc (diff) | |
download | pandoc-2332a08f1e192de24f9ff425ed31f8dd20d1fa82.tar.gz |
DocBook reader: bibliomisc and anchor support (#6754)
Also do some minor refactoring - bibliodiv without
a title no longer results in an empty Header.
Diffstat (limited to 'src/Text/Pandoc/Logging.hs')
0 files changed, 0 insertions, 0 deletions