Balz Guenat 897ceac26c add option to let ctrl override shift/gui for the GRAVE_ESC. ... This enables the ctrl+shift+esc shortcut to task manager on windows.		2017-08-11 16:54:10 -04:00
..
coloneljesus	add option to let ctrl override shift/gui for the GRAVE_ESC.	2017-08-11 16:54:10 -04:00
default	…
hhkbanana	…
nic	…