Jacob correctly points out that I accidentally lost a clearing of
[u/mdw/putty] / noprint.c
2005-12-09 simonA few small changes to make the PuTTY source base more...