Thomas Praxl 941fe9ab4f Shorten comment for workspace variables ... The old comments gave the impression that you had to define workspace names upfront, which is not true. This also keeps the overall config as brief as possible.		2017-12-26 11:29:42 +01:00
..
config	Shorten comment for workspace variables	2017-12-26 11:29:42 +01:00
config.keycodes	Shorten comment for workspace variables	2017-12-26 11:29:42 +01:00