From 88804c89bb8c55e4e4b0742e0cec260270150015 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Fri, 10 Aug 2012 21:48:05 -0700 Subject: [PATCH] Removed refs to Ext_header_identifiers in comments. --- src/Text/Pandoc/Options.hs | 2 -- 1 file changed, 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