commit | f706a7e2366ba19bb06265a331fa22a3c7546d90 | [log] [download] |
---|---|---|
author | nicm <nicm> | Thu Jun 10 07:52:07 2021 +0000 |
committer | nicm <nicm> | Thu Jun 10 07:52:07 2021 +0000 |
tree | 7a410ea2b11a8865dda6894eefdc0461dbdc8bf3 | |
parent | cfc7c9cf2403f9975421c634d09ed2dd1e04661d [diff] |
Remove old shift function keys which interfere with xterm keys now. GitHub issue 2696.