appindicator
|
gnomeExtensions.appindicator: init at v22
|
2018-02-16 12:36:30 +01:00 |
dash-to-dock
|
gnomeExtensions.dash-to-dock: 60 -> 61
|
2017-11-26 03:10:55 +01:00 |
dash-to-panel
|
dash-to-panel: init at v11
|
2017-12-29 20:23:08 +01:00 |
icon-hider
|
gnomeExtensions.icon-hider: init at 19
|
2018-02-02 00:16:11 +01:00 |
mediaplayer
|
gnomeExtensions.mediaplayer: init at 3.5
|
2017-12-30 20:00:22 +01:00 |
taskwhisperer
|
gnomeExtensions.taskwhisperer: init at v11
|
2018-02-19 10:55:36 -05:00 |
topicons-plus
|
gnomeExtensions.topicons-plus: 20 -> 21
|
2017-11-26 03:10:56 +01:00 |