worldofpeace
|
006330bce4
|
gnomeExtensions.icon-hider: mark as broken
|
2019-10-03 00:09:15 +02:00 |
|
volth
|
46420bbaa3
|
treewide: name -> pname (easy cases) (#66585)
treewide replacement of
stdenv.mkDerivation rec {
name = "*-${version}";
version = "*";
to pname
|
2019-08-15 13:41:18 +01:00 |
|
Jon Banafato
|
4916f338b5
|
gnomeExtensions.icon-hider: 21 -> 23
Upgrade to the latest version, now with GNOME 3.32 support. Mark as not
broken. Full changelog available at
https://github.com/ikalnytskyi/gnome-shell-extension-icon-hider/compare/v21...v23
|
2019-04-21 20:39:34 -04:00 |
|
worldofpeace
|
294c1a65a7
|
gnomeExtensions.icon-hider: mark as broken
|
2019-04-05 12:14:13 +02:00 |
|
Jon Banafato
|
98c02413db
|
gnomeExtensions.icon-hider: 20 -> 21
|
2018-11-30 21:35:23 +01:00 |
|
Tor Hedin Brønner
|
9a4932b1ad
|
gnomeExtensions.icon-hider: 19 -> 20
|
2018-11-30 21:35:12 +01:00 |
|
Jon Banafato
|
d2e518c4c5
|
gnomeExtensions.icon-hider: init at 19
Add the Icon Hider GNOME Shell extension.
|
2018-02-02 00:16:11 +01:00 |
|