diff options
author | John MacFarlane <jgm@berkeley.edu> | 2017-09-27 20:42:04 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-09-27 20:42:04 -0700 |
commit | 2314534d4da815fa23f622d43a8d7a2c8902ee8e (patch) | |
tree | 7900d6b8d515a20c7edf8ed669cb33ae6f31add6 /src/Text/Pandoc/Pretty.hs | |
parent | 394b1985b13780310fd2b3bec7ca9f635a3221cb (diff) | |
download | pandoc-2314534d4da815fa23f622d43a8d7a2c8902ee8e.tar.gz |
RST writer: add header anchors when header has non-standard id.
Closes #3937.
Diffstat (limited to 'src/Text/Pandoc/Pretty.hs')
0 files changed, 0 insertions, 0 deletions