diff options
author | fiddlosopher <fiddlosopher@788f1e2b-df1e-0410-8736-df70ead52e1b> | 2009-02-24 22:59:44 +0000 |
---|---|---|
committer | fiddlosopher <fiddlosopher@788f1e2b-df1e-0410-8736-df70ead52e1b> | 2009-02-24 22:59:44 +0000 |
commit | 5f3a147dfdee17a05fba87ece8629fa19e95a1c9 (patch) | |
tree | 0f785ffaaed60b8ad2b37196d96b872ed3f5b61a /src/Text/Pandoc/DefaultHeaders.hs | |
parent | bb639d550662b688cb418e4ef10807b33d991b00 (diff) | |
download | pandoc-5f3a147dfdee17a05fba87ece8629fa19e95a1c9.tar.gz |
Removed plugin support.
Plugins will probably be added in a later version,
but for now we want to avoid the heavy GHC API dependency.
Also, plugins are very slow with the current system.
git-svn-id: https://pandoc.googlecode.com/svn/trunk@1548 788f1e2b-df1e-0410-8736-df70ead52e1b
Diffstat (limited to 'src/Text/Pandoc/DefaultHeaders.hs')
0 files changed, 0 insertions, 0 deletions