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