nixpkgs/pkgs/desktops/gnome-3/core/gnome-themes-extra
2018-03-22 07:46:49 +01:00
..
default.nix gnome-themes-extra: rename from gnome-themes-standard 2018-03-22 07:46:49 +01:00