diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Text/Pandoc/Options.hs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/Text/Pandoc/Options.hs b/src/Text/Pandoc/Options.hs index 01a171508..1e4ce98ba 100644 --- a/src/Text/Pandoc/Options.hs +++ b/src/Text/Pandoc/Options.hs @@ -68,7 +68,6 @@ data Extension = Ext_footnotes | Ext_startnum | Ext_definition_lists | Ext_example_lists - -- | Ext_header_identifiers | Ext_all_symbols_escapable | Ext_intraword_underscores | Ext_blank_before_blockquote @@ -105,7 +104,6 @@ pandocExtensions = Set.fromList , Ext_startnum , Ext_definition_lists , Ext_example_lists - -- , Ext_header_identifiers , Ext_all_symbols_escapable , Ext_intraword_underscores , Ext_blank_before_blockquote |