diff options
author | John MacFarlane <jgm@berkeley.edu> | 2011-07-23 12:35:01 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2011-07-23 12:43:01 -0700 |
commit | 6424e7d02c8800a1964d0ae26a523597b8a365fa (patch) | |
tree | 9a616458b5a912cb625ce4514351a8f7c47eef75 /src/Text/Pandoc/Highlighting.hs | |
parent | 26418b7d14ce04a7386392388d2a3cbded205705 (diff) | |
download | pandoc-6424e7d02c8800a1964d0ae26a523597b8a365fa.tar.gz |
Properly handle characters in the 128..159 range.
These aren't valid in HTML, but many HTML files produced by
Windows tools contain them. We substitute correct unicode
characters.
Diffstat (limited to 'src/Text/Pandoc/Highlighting.hs')
0 files changed, 0 insertions, 0 deletions