gnome2.gnome_menus: drop

2018-08-09 17:36:47 +02:00
parent 27a938b414
commit 5d23756c7b
2 changed files with 0 additions and 15 deletions
@@ -93,8 +93,6 @@ let overridden = set // overrides; set = with overridden; {

  zenity = callPackage ./desktop/zenity { };

-  gnome_menus = callPackage ./desktop/gnome-menus { };
-
  gnome-desktop = callPackage ./desktop/gnome-desktop { };

  gtksourceview = callPackage ./desktop/gtksourceview { };