| .. |
|
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
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
|
dash-to-panel
|
gnomeExtensions.dash-to-panel: 19 -> 23
|
2019-09-02 17:26:59 -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 |
|
no-title-bar
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
|
nohotcorner
|
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
|
gnomeExtensions.system-monitor: 36 -> 38
|
2019-09-08 19:51:57 +02:00 |
|
taskwhisperer
|
treewide: remove redundant quotes
|
2019-09-08 23:38:31 +00:00 |
|
tilingnome
|
tilingnome: init at 2019-01-18 (#58980)
|
2019-04-05 17:01:52 -04:00 |
|
timepp
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01: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 |
