nixpkgs/pkgs/desktops/gnome/core/gnome-shell-extensions
2021-06-16 17:05:03 +02:00
..
default.nix gnome.gnome-shell-extensions: 40.1 -> 40.2 2021-06-16 17:05:03 +02:00
fix_gmenu.patch