Remove is_shift_pressed() -- it's not been used since r4906.
[u/mdw/putty] / contrib /
drwxr-xr-x   ..
-rwxr-xr-x 5588 kh2reg.py