diff options
author | mb21 <mb21@users.noreply.github.com> | 2015-01-11 15:18:40 +0100 |
---|---|---|
committer | mb21 <mb21@users.noreply.github.com> | 2015-01-11 15:24:04 +0100 |
commit | 6aa41b86d01f6120a3c0e8c63578b626f174251d (patch) | |
tree | 2cea0ae5c0db9e2cdfce275f2c3c0bb2b031a7d2 /src/Text/Pandoc/Readers/MediaWiki.hs | |
parent | e2d86dfe286085cc33b513b17444e846fae0ce30 (diff) | |
download | pandoc-6aa41b86d01f6120a3c0e8c63578b626f174251d.tar.gz |
don't log Try xelatex if xelatex already in use, closes #1832
Diffstat (limited to 'src/Text/Pandoc/Readers/MediaWiki.hs')
0 files changed, 0 insertions, 0 deletions