summaryrefslogtreecommitdiff
path: root/src/Text/Pandoc/Options.hs
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2012-08-11 16:36:54 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2012-08-11 16:36:54 -0700
commit872fd2fb9c6966024618f89dfa136aeac25ac9bc (patch)
tree82fa7dc5075003a221bdb2e00545f70e0ce96843 /src/Text/Pandoc/Options.hs
parent78d3a0fb9d3f862d5e2b61bd45434f7af9cd9f18 (diff)
Revert "Implemented Ext_markdown_attribute."
This reverts commit 78d3a0fb9d3f862d5e2b61bd45434f7af9cd9f18.
Diffstat (limited to 'src/Text/Pandoc/Options.hs')
-rw-r--r--src/Text/Pandoc/Options.hs1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/Text/Pandoc/Options.hs b/src/Text/Pandoc/Options.hs
index 6d235e7a8..f7f07a939 100644
--- a/src/Text/Pandoc/Options.hs
+++ b/src/Text/Pandoc/Options.hs
@@ -64,7 +64,6 @@ data Extension = Ext_footnotes
| Ext_delimited_code_blocks
| Ext_inline_code_attributes
| Ext_markdown_in_html_blocks
- | Ext_markdown_attribute
| Ext_escaped_line_breaks
| Ext_autolink_code_spans
| Ext_fancy_lists