#1787 PR merged: Fix KEYMAPS_DEFAULT_DIRECTORY description (follow-up of pull request 1781)

Labels: fixed / solved / done, minor bug

jsmeix opened issue at 2018-04-27 08:13:


[Export of Github issue for rear/rear.]