nixpkgs/pkgs/desktops/gnome-3/core/gnome-shell
2018-03-22 07:46:54 +01:00
..
default.nix gnome3.gnome-shell: fix build 2018-03-22 07:46:54 +01:00
fix-paths.patch gnome3.gnome-shell: fix build 2018-03-22 07:46:54 +01:00