appindicator
|
gnomeExtensions.appindicator: 29 -> 30
|
2019-10-03 00:09:14 +02:00 |
arc-menu
|
gnomeExtensions.arc-menu: 33.2 -> 33
|
2019-10-06 13:25:25 -04:00 |
dash-to-panel
|
gnomeExtensions.dash-to-panel: 23 -> 26
|
2019-11-19 07:46:56 +01:00 |
drop-down-terminal
|
gjs: move to top-level
|
2019-11-05 00:47:04 +01:00 |
gsconnect
|
gjs: move to top-level
|
2019-11-05 00:47:04 +01:00 |
icon-hider
|
gnomeExtensions.icon-hider: mark as broken
|
2019-10-03 00:09:15 +02:00 |
timepp
|
gnomeExtension.timepp: mark as broken
|
2019-10-03 00:09:16 +02:00 |