mirror of
https://github.com/jgm/pandoc.git
synced 2026-09-07 16:15:48 +00:00
* XML.toEntities: changed type to Text -> Text. * Shared.tabFilter -- fixed so it strips out CRs as before. * Modified writers to take Text. * Updated tests, benchmarks, trypandoc. [API change] Closes #3731.