diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Text/Pandoc/Options.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Text/Pandoc/Options.hs b/src/Text/Pandoc/Options.hs index 9c6d55f25..f7f07a939 100644 --- a/src/Text/Pandoc/Options.hs +++ b/src/Text/Pandoc/Options.hs @@ -58,6 +58,8 @@ data Extension = Ext_footnotes | Ext_citations | Ext_raw_tex | Ext_tex_math_dollars + | Ext_tex_math_single_backslash + | Ext_tex_math_double_backslash | Ext_latex_macros | Ext_delimited_code_blocks | Ext_inline_code_attributes |