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

…