Removed hard_line_breaks extension from markdown_github.

GitHub has two Markdown modes, one for long-form documents like READMEs
and one for short things like issue coments. In issue comments, a line
break is treated as a hard line break. In README, wikis, etc., it is
treated as a space as in regular Markdown.

Since pandoc is more likely to be used to convert long-form
documents from GitHub Markdown, `-hard_line_breaks` is a better
default.

Closes #3594.
This commit is contained in:
John MacFarlane 2017-06-30 22:26:42 +02:00
parent 69b2cb38a8
commit d3dae1200a

View file

@ -244,7 +244,6 @@ githubMarkdownExtensions = extensionsFromList
, Ext_space_in_atx_header , Ext_space_in_atx_header
, Ext_intraword_underscores , Ext_intraword_underscores
, Ext_strikeout , Ext_strikeout
, Ext_hard_line_breaks
, Ext_emoji , Ext_emoji
, Ext_lists_without_preceding_blankline , Ext_lists_without_preceding_blankline
, Ext_shortcut_reference_links , Ext_shortcut_reference_links