Gabriel Arazas 7ae53c1563 profiles/desktop: rename into profiles/system ... It is causing some confusion since it is slowly gaining some non-desktop-related functions too. A rename would be appropriate now.		2022-04-17 11:00:38 +08:00
..
profiles	profiles/desktop: rename into profiles/system	2022-04-17 11:00:38 +08:00
services	modules: reformat and refactor	2022-04-06 10:48:29 +08:00
tasks/backup-archive	rename hardware-setup to tasks	2022-03-31 13:59:54 +08:00
themes	gnome-shell-extension-desktop-cube: remove package	2022-04-15 21:00:40 +08:00