workstation/roles/debian
2020-06-17 09:12:05 +01:00
..
files Switch to a basic 105-key US keyboard for the console 2020-06-17 09:12:05 +01:00
tasks Add Debian keyboard config 2020-06-16 18:56:31 +01:00