Patch from RDB: rename ISO-8859-12 to -13, add ISO-8859-16, and
[u/mdw/putty] / wcwidth.c
2001-05-10 simonRDB's Unicode patch. Fonts are now used in Unicode...