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