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/Highlighting.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/Highlighting.hs')
0 files changed, 0 insertions, 0 deletions