.. |
appindicator
|
gnomeExtensions.appindicator: 29 -> 30
|
2019-10-03 00:09:14 +02:00 |
arc-menu
|
gnomeExtensions.arc-menu: 31 -> 33.2
|
2019-10-03 00:09:14 +02:00 |
battery-status
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
caffeine
|
gnomeExtensions.caffeine: make as broken
|
2019-10-03 00:09:14 +02:00 |
chrome-gnome-shell
|
chrome-gnome-shell: remove firefox note
|
2019-09-05 23:20:30 -04:00 |
clipboard-indicator
|
gnomeExtensions.clipboard-indicator: mark as broken
|
2019-10-03 00:09:15 +02:00 |
dash-to-dock
|
gnomeExtensions.dash-to-dock: 20190921 -> 67
|
2019-10-08 12:08:51 +02:00 |
dash-to-panel
|
gnomeExtensions.dash-to-panel: 19 -> 23
|
2019-09-02 17:26:59 -04:00 |
drop-down-terminal
|
gnomeExtensions.drop-down-terminal: init at 24
|
2019-10-02 09:44:02 -04:00 |
gsconnect
|
gnomeExtensions.gsconnect: 23 -> 26
|
2019-09-30 19:39:46 +02:00 |
icon-hider
|
gnomeExtensions.icon-hider: mark as broken
|
2019-10-03 00:09:15 +02:00 |
mpris-indicator-button
|
gnomeExtensions.mpris-indicator-button: init at 2019-09-29
|
2019-10-05 09:09:46 -04:00 |
no-title-bar
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
pidgin-im-integration
|
gnomeExtensions.pidgin-im-integration: mark as broken
|
2019-10-03 00:09:15 +02:00 |
remove-dropdown-arrows
|
gnomeExtensions.remove-dropdown-arrows: 11 -> 13
|
2019-10-03 00:09:15 +02:00 |
sound-output-device-chooser
|
gnomeExtension.sound-output-device-chooser: 2019-04-01 -> 24
|
2019-10-03 00:09:16 +02:00 |
system-monitor
|
gnomeExtension.system-monitor-applet: mark as broken
|
2019-10-03 00:09:16 +02:00 |
taskwhisperer
|
gnomeExtension.taskwhisperer: mark as broken
|
2019-10-03 00:09:16 +02:00 |
tilingnome
|
gnomeExtension.tilingnome: 2019-01-18 -> 2019-09-19
|
2019-10-03 00:09:16 +02:00 |
timepp
|
gnomeExtension.timepp: mark as broken
|
2019-10-03 00:09:16 +02:00 |
topicons-plus
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
window-corner-preview
|
gnomeExtensions.window-corner-preview: unstable-2019-02-27 → unstable-2019-04-03
|
2019-04-17 21:10:32 +02:00 |
impatience.nix
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
volume-mixer.nix
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
workspace-grid.nix
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |