diff options
author | John MacFarlane <jgm@berkeley.edu> | 2021-10-19 08:04:18 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2021-10-19 08:05:30 -0700 |
commit | 7754b7f2ddd8b188de66b4c0f0b4a87d2a2045c6 (patch) | |
tree | 4d69793a304684d7edde67eb14026e6fa3cab965 /test/command | |
parent | 465c28d28e1017040a41653edb6248056f178d3b (diff) | |
download | pandoc-7754b7f2ddd8b188de66b4c0f0b4a87d2a2045c6.tar.gz |
FormatHeuristics: remove `.tei.xml` extension for TEI.
As noted in #7630, this never worked, because `takeExtension`
only returns `.xml`. So it won't be missed if we remove it.
Closes #7630.
Diffstat (limited to 'test/command')
0 files changed, 0 insertions, 0 deletions