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