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	Merge remote-tracking branch 'upstream/master' into bananasplit	2017-08-07 21:54:06 +02:00
hhkbanana	Merge remote-tracking branch 'upstream/master' into bananasplit	2017-08-07 21:54:06 +02:00
nic	Merge remote-tracking branch 'upstream/master' into bananasplit	2017-08-07 21:54:06 +02:00