diff options
author | John MacFarlane <jgm@berkeley.edu> | 2014-07-15 20:27:28 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2014-07-15 20:27:28 -0700 |
commit | 047f9b3714aa46919014dc9c3f146286127acacf (patch) | |
tree | 17f489d478e16145f341c2946a6466fb0706c993 /src/Text/Pandoc/Readers/DocBook.hs | |
parent | 897c52880f877e1ed52d94dbb46a83bedd240497 (diff) | |
parent | 4b2d07a642c9ab570a8da64deca32a4139b2268b (diff) | |
download | pandoc-047f9b3714aa46919014dc9c3f146286127acacf.tar.gz |
Merge pull request #1430 from jkr/anchor-fix-2
Fix auto identified headers when already auto-id'ed
Diffstat (limited to 'src/Text/Pandoc/Readers/DocBook.hs')
0 files changed, 0 insertions, 0 deletions