mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-26 18:26:36 +00:00
Markdown writer: allow pipe_tables to be disabled for commonmark...
(commonmark_x, gfm). Closes #7375.
This commit is contained in:
@@ -75,7 +75,6 @@ writeCommonMark opts document =
|
||||
-- we set them here so that escapeText will behave
|
||||
-- properly.
|
||||
enableExtension Ext_all_symbols_escapable $
|
||||
enableExtension Ext_pipe_tables $
|
||||
enableExtension Ext_intraword_underscores $
|
||||
writerExtensions opts }
|
||||
|
||||
|
||||
Reference in New Issue
Block a user