chrome-gnome-shell
|
chrome-gnome-shell: 10 -> 10.1
|
2019-04-05 12:13:32 +02:00 |
dash-to-dock
|
gnomeExtensions.dash-to-dock: 64 → 65
|
2019-03-03 23:38:14 +01:00 |
gsconnect
|
gnomeExtensions.gsconnect: 20 -> 21
|
2019-04-05 12:13:36 +02:00 |
icon-hider
|
gnomeExtensions.icon-hider: 20 -> 21
|
2018-11-30 21:35:23 +01:00 |
no-title-bar
|
gnomeExtensions.no-title-bar: 8 -> 9
|
2018-11-30 21:35:24 +01:00 |
nohotcorner
|
gnomeExtensions.nohotcorner: 17.0 -> 18.0
|
2018-11-30 21:35:23 +01:00 |
topicons-plus
|
gnomeExtensions.topicons-plus: 21 -> 22
|
2018-12-12 14:39:50 +01:00 |