aboutsummaryrefslogtreecommitdiff
path: root/src/Text/Pandoc/Writers/HTML.hs
diff options
context:
space:
mode:
authorAlbert Krewinkel <albert@zeitkraut.de>2016-05-21 15:40:05 +0200
committerAlbert Krewinkel <albert@zeitkraut.de>2016-05-22 23:01:47 +0200
commitf3d27e4c80a8b33493cfdef9fda8247aaa14c801 (patch)
tree069e7bf5a9222e36d2200c40af1b5aff6abe667b /src/Text/Pandoc/Writers/HTML.hs
parent446cf6a1cfed364dfc0d01b39697ffde2310109d (diff)
downloadpandoc-f3d27e4c80a8b33493cfdef9fda8247aaa14c801.tar.gz
Org reader/writer: use CUSTOM_ID in properties
The `ID` property is reserved for internal use by Org-mode and should not be used. The `CUSTOM_ID` property is to be used instead, it is converted to the `ID` property for certain export format. The reader and writer erroneously used `ID`. This is corrected by using `CUSTOM_ID` where appropriate.
Diffstat (limited to 'src/Text/Pandoc/Writers/HTML.hs')
0 files changed, 0 insertions, 0 deletions