diff options
author | John MacFarlane <jgm@berkeley.edu> | 2012-08-19 11:12:18 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2012-08-19 11:15:32 -0700 |
commit | 7b34dd8dd1cf991807c84fc2900e19869885995d (patch) | |
tree | b205f0ac9fae0d0bd5b39a08f052c23114b1c459 /src/Text/Pandoc/Writers/MediaWiki.hs | |
parent | 5d3b2955681d84458537e3bea7b004262960d374 (diff) | |
download | pandoc-7b34dd8dd1cf991807c84fc2900e19869885995d.tar.gz |
Added Ext_abbrevations for PHP markdown style abbreviation keys.
Note: pandoc does not have an abbreviation element (yet) and
so currently when this extension is enabled, it just causes
pandoc to skip the abbrevation keys.
Diffstat (limited to 'src/Text/Pandoc/Writers/MediaWiki.hs')
0 files changed, 0 insertions, 0 deletions