6 Commits

Author	SHA1	Message	Date
Thomas Kobber Panum	2120bd4ad6	gnomeExtensions.arc-menu: 43 -> 47	2020-07-28 07:58:05 +02:00
Bjørn Forsman	eb12149979	gnomeExtensions: add 'uuid' attr to all extensions ... Some already have it, this adds it to the rest. With all extensions having an 'uuid' attr we can do cool things like declaratively enable extensions on NixOS.	2020-05-09 19:26:29 +02:00
Tor Hedin Brønner	954baa6751	gnomeExtensions.arc-menu: 33 -> 43	2020-03-24 07:11:08 +01:00
worldofpeace	209e90b41e	gnomeExtensions.arc-menu: 33.2 -> 33 ... Despite the 33.3 -> 33 this doesn't appear to be a downgrade.	2019-10-06 13:25:25 -04:00
worldofpeace	3b81b3a827	gnomeExtensions.arc-menu: 31 -> 33.2	2019-10-03 00:09:14 +02:00
dkabot	51e71596f8	gnomeExtensions.arc-menu: init at 31	2019-09-02 19:03:18 -04:00