aboutsummaryrefslogtreecommitdiff
path: root/src/Text/Pandoc
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2017-06-30 22:26:42 +0200
committerJohn MacFarlane <jgm@berkeley.edu>2017-06-30 22:26:42 +0200
commitd3dae1200adf8318fc033f6eed987507be85b71e (patch)
tree7035b35d9111f335d3b4d4fb3188603b6ad28fb3 /src/Text/Pandoc
parent69b2cb38a867cd8b761e4c6ec65020bedbafcda1 (diff)
downloadpandoc-d3dae1200adf8318fc033f6eed987507be85b71e.tar.gz
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.
Diffstat (limited to 'src/Text/Pandoc')
-rw-r--r--src/Text/Pandoc/Extensions.hs1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/Text/Pandoc/Extensions.hs b/src/Text/Pandoc/Extensions.hs
index 79e3529e9..bd164635c 100644
--- a/src/Text/Pandoc/Extensions.hs
+++ b/src/Text/Pandoc/Extensions.hs
@@ -244,7 +244,6 @@ githubMarkdownExtensions = extensionsFromList
, Ext_space_in_atx_header
, Ext_intraword_underscores
, Ext_strikeout
- , Ext_hard_line_breaks
, Ext_emoji
, Ext_lists_without_preceding_blankline
, Ext_shortcut_reference_links