nixpkgs/pkgs/desktops/gnome-3/extensions/arc-menu
worldofpeace 209e90b41e gnomeExtensions.arc-menu: 33.2 -> 33
Despite the 33.3 -> 33 this doesn't appear to be a downgrade.
2019-10-06 13:25:25 -04:00
..
default.nix gnomeExtensions.arc-menu: 33.2 -> 33 2019-10-06 13:25:25 -04:00
fix_gmenu.patch