config/profiles/desktop/gnome
2023-07-04 16:32:09 +02:00
..
default.nix stuff 2023-07-04 16:32:09 +02:00