diff options
| author | Albert Krewinkel <albert@zeitkraut.de> | 2016-05-21 15:40:05 +0200 |
|---|---|---|
| committer | Albert Krewinkel <albert@zeitkraut.de> | 2016-05-22 23:01:47 +0200 |
| commit | f3d27e4c80a8b33493cfdef9fda8247aaa14c801 (patch) | |
| tree | 069e7bf5a9222e36d2200c40af1b5aff6abe667b /src/Text/Pandoc/Writers/Texinfo.hs | |
| parent | 446cf6a1cfed364dfc0d01b39697ffde2310109d (diff) | |
| download | pandoc-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/Texinfo.hs')
0 files changed, 0 insertions, 0 deletions