workstation/roles/home-gui
2023-10-02 22:06:05 +01:00
..
files Load Gnome settings if available 2023-10-02 22:06:05 +01:00
tasks Check for gnome-shell in /usr/local/bin 2023-09-25 20:38:05 +01:00
templates Fix file extension 2022-07-19 16:04:32 +01:00