nixpkgs-suyu/pkgs/desktops/gnome-3/core/gnome-shell-extensions
2018-12-25 20:14:32 -05:00
..
default.nix gnome-menus: rename from gnome3.gnome-menus 2018-12-25 20:14:32 -05:00
fix_gmenu.patch