diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2018-11-11 11:02:04 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2018-11-11 11:04:34 -0800 |
| commit | ca17ae52465e0194b97d38b9a065a8186cb23a6d (patch) | |
| tree | df751ea46d385fb58d88bc5e6336f1c04aea993b | |
| parent | 6b4b7a4ba3fc07036185c08c1f3cc8c3ca30c456 (diff) | |
| download | pandoc-ca17ae52465e0194b97d38b9a065a8186cb23a6d.tar.gz | |
Remove `ascii_identifiers` from `githubMarkdownExtensions`.
GitHub doesn't seem to strip non-ascii characters.
| -rw-r--r-- | MANUAL.txt | 2 | ||||
| -rw-r--r-- | src/Text/Pandoc/Extensions.hs | 1 |
2 files changed, 1 insertions, 2 deletions
diff --git a/MANUAL.txt b/MANUAL.txt index 50df6edbb..726219b1b 100644 --- a/MANUAL.txt +++ b/MANUAL.txt @@ -4220,7 +4220,7 @@ Also, `raw_tex` only affects `gfm` output, not input. `gfm` (GitHub-Flavored Markdown) : `pipe_tables`, `raw_html`, `fenced_code_blocks`, `gfm_auto_identifiers`, - `ascii_identifiers`, `backtick_code_blocks`, `autolink_bare_uris`, + `backtick_code_blocks`, `autolink_bare_uris`, `intraword_underscores`, `strikeout`, `hard_line_breaks`, `emoji`, `shortcut_reference_links`, `angle_brackets_escapable`. 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 |