Bug fix from Robert de Bath: if the utf8_override setting is changed
[u/mdw/putty] / noprint.c
2005-12-09 simonA few small changes to make the PuTTY source base more...