diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2019-10-11 09:46:58 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2019-10-11 09:46:58 -0700 |
| commit | 7c2dd0359b8ece3df91af81338274008c0740a69 (patch) | |
| tree | 732109463f023f8d1bfc10f27cccefa9679d6733 /src/Text/Pandoc/Highlighting.hs | |
| parent | 34e6464e306d9926f4559156fd144361f0b4efb0 (diff) | |
| download | pandoc-7c2dd0359b8ece3df91af81338274008c0740a69.tar.gz | |
Markdown writer: prefer pipe_tables to raw html...
...even when we must lose width information.
All in all this seems to be people's preferred behavior, even though it
is slightly lossier.
Closes #2608.
Closes #4497.
Diffstat (limited to 'src/Text/Pandoc/Highlighting.hs')
0 files changed, 0 insertions, 0 deletions