diff options
author | John MacFarlane <jgm@berkeley.edu> | 2012-07-27 16:00:27 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2012-07-27 16:00:27 -0700 |
commit | f0b9d52fd3fcdd61e1ea7f5ac98eefe7e502cf8a (patch) | |
tree | bdf4eacf84a0181adf98a62594f00bd1c6c63547 /src/Text/Pandoc/Options.hs | |
parent | ec7c1631a57ae48e3763bfb4de1288423d9e3aea (diff) |
Markdown reader: Added sensitivity to Ext_example_lists.
Diffstat (limited to 'src/Text/Pandoc/Options.hs')
-rw-r--r-- | src/Text/Pandoc/Options.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Text/Pandoc/Options.hs b/src/Text/Pandoc/Options.hs index efcb0ea52..c64f7f1cb 100644 --- a/src/Text/Pandoc/Options.hs +++ b/src/Text/Pandoc/Options.hs @@ -63,6 +63,7 @@ data Extension = Ext_footnotes | Ext_fancy_lists | Ext_startnum | Ext_definition_lists + | Ext_example_lists | Ext_header_identifiers | Ext_all_symbols_escapable | Ext_intraword_underscores |