nixpkgs/pkgs/desktops/gnome-3/core/gnome-shell-extensions
2018-04-03 16:10:23 +02:00
..
default.nix gnome3.gnome-shell-extensions: let apps-menu know about gnome-menus 2018-04-03 16:10:23 +02:00
fix_gmenu.patch gnome3.gnome-shell-extensions: let apps-menu know about gnome-menus 2018-04-03 16:10:23 +02:00