Add `all_symbols_escapable` to githubMarkdownExtensions.
commit977a88f92d50602150406fa119c5d6afc6f31732
authorJohn MacFarlane <jgm@berkeley.edu>
dateMon 4 Feb 2019, 11:11 (8 years ago)
parentccf4e23
src/Text/Pandoc/Extensions.hs+1−1
@@ -265,7 +265,7 @@ phpMarkdownExtraExtensions = extensionsFromList
265265-- | Extensions to be used with github-flavored markdown.
266266githubMarkdownExtensions :: Extensions
267267githubMarkdownExtensions = extensionsFromList
268− [ Ext_angle_brackets_escapable
268+ [ Ext_all_symbols_escapable
269269 , Ext_pipe_tables
270270 , Ext_raw_html
271271 , Ext_fenced_code_blocks