Rewrite gprefs() in settings.c so that its input mapping includes
[u/mdw/putty] / pinger.c
2004-11-27 simonNew timing infrastructure. There's a new function sched...