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/HTML.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/HTML.hs')
0 files changed, 0 insertions, 0 deletions