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