diff options
| author | Albert Krewinkel <albert@zeitkraut.de> | 2021-01-09 13:35:07 +0100 |
|---|---|---|
| committer | Albert Krewinkel <albert@zeitkraut.de> | 2021-01-09 13:40:31 +0100 |
| commit | fe1378227b24fa6a8661b2e0d377b808eb270c52 (patch) | |
| tree | 2387dfb4c17f244b349d88e348b45d63bc66b6bb /src/Text/Pandoc/Readers/HTML | |
| parent | 4f3434586743afb69f00ca91fe6ec9b68b39ae7e (diff) | |
| download | pandoc-fe1378227b24fa6a8661b2e0d377b808eb270c52.tar.gz | |
Org reader: allow multiple pipe chars in todo sequences
Additional pipe chars, used to separate "action" state from "no further
action" states, are ignored. E.g., for the following sequence, both
`DONE` and `FINISHED` are states with no further action required.
#+TODO: UNFINISHED | DONE | FINISHED
Previously, parsing of the todo sequence failed if multiple pipe chars
were included.
Closes: #7014
Diffstat (limited to 'src/Text/Pandoc/Readers/HTML')
0 files changed, 0 insertions, 0 deletions