diff options
| author | ross <unknown> | 2005-01-10 19:18:22 +0000 |
|---|---|---|
| committer | ross <unknown> | 2005-01-10 19:18:22 +0000 |
| commit | ff11fc2c46c2611a06ab7b84b8d502be88519d01 (patch) | |
| tree | 32df459ac47db6f3ab4ca9e6af963b600b2d8710 /html/plus.gif | |
| parent | 47870837e855daea82c09ca59315a048fc8438a6 (diff) | |
[haddock @ 2005-01-10 19:18:22 by ross]
Render non-ASCII characters using numeric character references, to simplify
charset issues. There's a META tag saying the charset is UTF-8, but GHC
outputs characters as raw bytes.
Ideally we need an encoding on the input side too, primarily in comments,
because source files containing non-ASCII characters aren't portable between
locales.
Diffstat (limited to 'html/plus.gif')
0 files changed, 0 insertions, 0 deletions