diff options
| author | Mauro Bieg <mb21@users.noreply.github.com> | 2019-07-10 09:25:42 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-10 09:25:42 +0200 |
| commit | 95d7d1b908facce4887dba91748a900f264fb1f1 (patch) | |
| tree | 8edcf309bd4f0c0790d130ca400e3efedb8c27b2 /src | |
| parent | 020e2a06d53777424bedea1a05c31241fc5e9f96 (diff) | |
| download | pandoc-95d7d1b908facce4887dba91748a900f264fb1f1.tar.gz | |
Extensions.hs fix typo in PHP Markdown comment
Diffstat (limited to 'src')
| -rw-r--r-- | src/Text/Pandoc/Extensions.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Text/Pandoc/Extensions.hs b/src/Text/Pandoc/Extensions.hs index f85b23abd..6cb87eef6 100644 --- a/src/Text/Pandoc/Extensions.hs +++ b/src/Text/Pandoc/Extensions.hs @@ -227,7 +227,7 @@ plainExtensions = extensionsFromList , Ext_strikeout ] --- | Extensions to be used with github-flavored markdown. +-- | Extensions to be used with PHP Markdown Extra. phpMarkdownExtraExtensions :: Extensions phpMarkdownExtraExtensions = extensionsFromList [ Ext_footnotes |