diff options
| author | tgkokk <tgkokk@users.noreply.github.com> | 2017-01-05 22:24:33 +0200 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-01-05 21:24:33 +0100 |
| commit | f2e3e756f81378015a3d1815502f2b94361dce52 (patch) | |
| tree | bef84b3f16cadb38667d3c4c6a0284fcf3cd568b /src/Text/Pandoc/Readers/Haddock.hs | |
| parent | 2d8d735bb7994dbac2faaf2bb86a81f25cf38b52 (diff) | |
| download | pandoc-f2e3e756f81378015a3d1815502f2b94361dce52.tar.gz | |
MediaWiki reader: Fix quotation mark parsing (#3336)
Change MediaWiki reader's behavior when the smart option is parsed to
match other readers' behavior.
Fix #2012.
Diffstat (limited to 'src/Text/Pandoc/Readers/Haddock.hs')
0 files changed, 0 insertions, 0 deletions