Since r7266, it's been possible to get a hostname into Default Settings; but
[sgt/putty] / noprint.c
2005-12-09 simonA few small changes to make the PuTTY source base more...