worldofpeace 51088d7d96 gnome-menus: rename from gnome3.gnome-menus		2018-12-25 20:14:32 -05:00
..
default.nix	gnome-menus: rename from gnome3.gnome-menus	2018-12-25 20:14:32 -05:00
hide-in-pantheon.patch	plank: hide launcher in pantheon	2018-12-09 10:45:29 -05:00