diff options
Diffstat (limited to 'src/Text/Pandoc/Options.hs')
| -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 f9930cf50..834810859 100644 --- a/src/Text/Pandoc/Options.hs +++ b/src/Text/Pandoc/Options.hs @@ -72,7 +72,6 @@ data Extension = | Ext_markdown_attribute -- ^ Interpret text inside HTML as markdown -- iff container has attribute 'markdown' | Ext_escaped_line_breaks -- ^ Treat a backslash at EOL as linebreak - | Ext_monospace_autolinks -- ^ Put autolink text in monospace font | Ext_autolink_urls -- ^ Make all absolute URLs into links | Ext_fancy_lists -- ^ Enable fancy list numbers and delimiters | Ext_startnum -- ^ Make start number of ordered list significant @@ -113,7 +112,6 @@ pandocExtensions = Set.fromList , Ext_inline_code_attributes , Ext_markdown_in_html_blocks , Ext_escaped_line_breaks - , Ext_monospace_autolinks , Ext_fancy_lists , Ext_startnum , Ext_definition_lists |