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
..
2018-05-01 19:57:09 -04:00
2019-09-19 19:17:30 +02:00
2019-09-19 19:17:30 +02:00
2019-09-19 19:17:30 +02:00
2019-09-19 19:17:30 +02:00
2019-09-19 19:17:30 +02:00
2019-09-19 19:17:30 +02:00
2021-05-08 09:47:42 +02:00
2021-05-08 09:47:42 +02:00