From 46f7e8a2f2011cc463f65617139fe602dc51350c Mon Sep 17 00:00:00 2001 From: Tim Stewart Date: Mon, 16 Oct 2023 23:50:40 -0500 Subject: remove duplicates for Ext_raw_html and Ext_pipe_tables --- src/Text/Pandoc/Extensions.hs | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/Text/Pandoc/Extensions.hs b/src/Text/Pandoc/Extensions.hs index efc5202a2..b94f59eff 100644 --- a/src/Text/Pandoc/Extensions.hs +++ b/src/Text/Pandoc/Extensions.hs @@ -408,8 +408,6 @@ getDefaultExtensions "commonmark_x" = extensionsFromList , Ext_strikeout , Ext_task_lists , Ext_emoji - , Ext_pipe_tables - , Ext_raw_html , Ext_smart , Ext_tex_math_dollars , Ext_superscript -- cgit v1.2.3