diff options
author | John MacFarlane <jgm@berkeley.edu> | 2020-11-16 17:49:23 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2020-11-16 17:49:23 -0800 |
commit | 98bedd7631767fc5ba2b3e971c4972033b59e65f (patch) | |
tree | fe3333b8e9d5ff87159ebf5737b072e0a0985914 /src/Text/Pandoc/Readers/HTML.hs | |
parent | 5271c6b3fbdc72d6a3e0405718f7c98cdf47eda0 (diff) | |
download | pandoc-98bedd7631767fc5ba2b3e971c4972033b59e65f.tar.gz |
When checking reader/writer name, check base name...
now that we permit extensions on formats other
than markdown.
Diffstat (limited to 'src/Text/Pandoc/Readers/HTML.hs')
0 files changed, 0 insertions, 0 deletions