nixpkgs/pkgs/desktops/gnome/extensions/arcmenu
2023-11-26 13:55:43 +01:00
..
default.nix gnomeExtensions.arcmenu: 44 -> 52 2023-11-26 13:55:43 +01:00
fix_gmenu.patch gnomeExtensions.arcmenu: 44 -> 52 2023-11-26 13:55:43 +01:00