3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/desktops/gnome-3/core/gnome-shell-extensions
2020-10-24 01:17:58 +02:00
..
default.nix gnome3.gnome-shell-extensions: 3.38.0 → 3.38.1 2020-10-24 01:17:58 +02:00
fix_gmenu.patch gnome3.gnome-shell-extensions: 3.30.1 -> 3.32.0 2019-04-05 11:40:15 +02:00