From ca17ae52465e0194b97d38b9a065a8186cb23a6d Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Sun, 11 Nov 2018 11:02:04 -0800 Subject: Remove `ascii_identifiers` from `githubMarkdownExtensions`. GitHub doesn't seem to strip non-ascii characters. --- src/Text/Pandoc/Extensions.hs | 1 - 1 file changed, 1 deletion(-) (limited to 'src/Text') diff --git a/src/Text/Pandoc/Extensions.hs b/src/Text/Pandoc/Extensions.hs index 0e6e38ed1..1df21e24f 100644 --- a/src/Text/Pandoc/Extensions.hs +++ b/src/Text/Pandoc/Extensions.hs @@ -266,7 +266,6 @@ githubMarkdownExtensions = extensionsFromList , Ext_raw_html , Ext_fenced_code_blocks , Ext_gfm_auto_identifiers - , Ext_ascii_identifiers , Ext_backtick_code_blocks , Ext_autolink_bare_uris , Ext_space_in_atx_header -- cgit v1.2.3