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 |
|