nixpkgs/pkgs/desktops/gnome/core/gnome-shell-extensions
2021-09-11 21:40:19 +02:00
..
default.nix gnome.gnome-shell-extensions: 40.3 -> 40.4 2021-09-11 21:40:19 +02:00
fix_gmenu.patch