2 commits

Author	SHA1	Message	Date
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
Balz Guenat	d8c503f3ac	add personal keymap	2017-08-03 23:33:31 +02:00