Better approach: editable lists of hotkeys
authorRicardo Mones <ricardo@mones.org>
Fri, 10 Mar 2017 23:38:36 +0000 (00:38 +0100)
committerRicardo Mones <ricardo@mones.org>
Fri, 10 Mar 2017 23:38:36 +0000 (00:38 +0100)

No differences found