Remove is_shift_pressed() -- it's not been used since r4906.
[u/mdw/putty] / unix / uxsignal.c
2004-12-31 simonRename some of the more stupidly named files in the...