Jan Tojnar 468cb5980b gnome: rename from gnome3 ... Since GNOME version is now 40, it no longer makes sense to use the old attribute name.		2021-05-08 09:47:42 +02:00
..
default.nix	gnome: rename from gnome3	2021-05-08 09:47:42 +02:00
hide-in-pantheon.patch	plank: hide launcher in pantheon	2018-12-09 10:45:29 -05:00