Ingo Bürk c6b0c61e25

Merge pull request #3747 from stapelberg/default-config-numbers ...

default config: use workspace number, not just workspace

2019-08-28 08:58:44 +02:00

..

config

Merge pull request #3747 from stapelberg/default-config-numbers

2019-08-28 08:58:44 +02:00

config.keycodes

Merge pull request #3747 from stapelberg/default-config-numbers

2019-08-28 08:58:44 +02:00