diff options
author | John MacFarlane <jgm@berkeley.edu> | 2019-01-25 17:11:28 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2019-01-25 17:11:28 -0800 |
commit | 446583e3227cee14ed9c03531e135f6d9c962dd2 (patch) | |
tree | 7e6e00f2b8f7a08e7572d819e7eda2ae3cb7a1e9 /src/Text/Pandoc/Writers/MediaWiki.hs | |
parent | a5ac58f82fbcad86d62b3fb66188635b9763b961 (diff) | |
download | pandoc-446583e3227cee14ed9c03531e135f6d9c962dd2.tar.gz |
Texinfo writer: use header identifier for anchor if present.
Previously we were overwriting an existing identifier
with a new one. Closes #4731.
Diffstat (limited to 'src/Text/Pandoc/Writers/MediaWiki.hs')
0 files changed, 0 insertions, 0 deletions