4 commits

Author	SHA1	Message	Date
Ulrik Strid	ea368b3c62	gnomeExtensions.taskwhisperer: 16 -> 20	2022-01-04 11:20:23 +01:00
piegames	bffbf4617a	gnomeExtensions: integrate manually packaged extensions better with the others ... Their keys are now not used directly. Instead, we go the standard route of mapping to the UUID in order to apply the rename procedure. This makes sure the manual override always does the correct thing, and also gives us more consistency overall.	2021-07-14 03:35:11 +02:00
piegames	6aae2894ef	gnomeExtensions: rename uuid field to extensionUuid	2021-07-14 03:23:36 +02:00
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