diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2012-08-10 21:48:05 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2012-08-10 21:48:05 -0700 |
| commit | 88804c89bb8c55e4e4b0742e0cec260270150015 (patch) | |
| tree | ae5687b6b3ecc00c5a62245a85c3f5778779eaa0 /src/Text/Pandoc/Options.hs | |
| parent | 204d95db5ac8a321ac713017fa8c06a7c5b89075 (diff) | |
Removed refs to Ext_header_identifiers in comments.
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 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 |