diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-07-27 21:56:34 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-07-27 21:56:34 -0700 |
| commit | 5475ffd23d7b481d3edd7fe18a237b91fd58bdc8 (patch) | |
| tree | 4c9ce893f416a9a2b910756072731c789a9fd778 /html/010vm.cc.html | |
| parent | eecab21816fad9ff82cfbf670ff645e807394fe3 (diff) | |
| download | mu-5475ffd23d7b481d3edd7fe18a237b91fd58bdc8.tar.gz | |
1858 - switch from F10 to F4
F10 seems to be a popular keybinding in the window manager.
Diffstat (limited to 'html/010vm.cc.html')
0 files changed, 0 insertions, 0 deletions