Remove is_shift_pressed() -- it's not been used since r4906.
[u/mdw/putty] / pinger.c
2004-11-27 simonNew timing infrastructure. There's a new function sched...