.. |
appindicator
|
gnomeExtensions.appindicator: 23.1 -> 28
|
2019-04-09 23:52:26 -04:00 |
battery-status
|
gnomeExtensions.battery-status: mark as broken
|
2019-04-05 12:14:11 +02:00 |
caffeine
|
gnomeExtensions.caffeine: 2018-09-25 -> 2019-04-02
|
2019-04-05 12:14:11 +02:00 |
chrome-gnome-shell
|
chrome-gnome-shell: 10 -> 10.1
|
2019-04-05 12:13:32 +02:00 |
clipboard-indicator
|
|
|
dash-to-dock
|
gnomeExtensions.dash-to-dock: 65 -> 66
|
2019-04-05 12:14:00 +02:00 |
dash-to-panel
|
gnomeExtensions.dash-to-panel: 16 -> 19
|
2019-04-05 12:13:37 +02:00 |
gsconnect
|
gnomeExtensions.gsconnect: 20 -> 21
|
2019-04-05 12:13:36 +02:00 |
icon-hider
|
gnomeExtensions.icon-hider: 21 -> 23
|
2019-04-21 20:39:34 -04:00 |
mediaplayer
|
gnomeExtensions.mediaplayer: 3.5 -> 2019-03-21
|
2019-04-05 12:14:12 +02:00 |
no-title-bar
|
gnomeExtensions.no-title-bar: mark as broken
|
2019-04-05 12:14:12 +02:00 |
nohotcorner
|
gnomeExtensions.nohotcorner: 18.0 -> 19.0
|
2019-04-05 12:14:01 +02:00 |
remove-dropdown-arrows
|
gnomeExtensions.remove-dropdown-arrows: 9 -> 11
|
2019-04-05 12:13:38 +02:00 |
sound-output-device-chooser
|
gnomeExtensions.sound-output-device-chooser: unstable-2019-03-10 → unstable-2019-04-01
|
2019-04-17 21:10:32 +02:00 |
system-monitor
|
gnomeExtensions.system-monitor: mark as broken
|
2019-04-05 12:14:13 +02:00 |
taskwhisperer
|
gnomeExtensions.taskwhisperer: 11 -> 12
|
2019-04-05 12:14:14 +02:00 |
tilingnome
|
tilingnome: init at 2019-01-18 (#58980)
|
2019-04-05 17:01:52 -04:00 |
timepp
|
gnomeExtensions.timepp: 2019.03.17 -> 2019-03-30
|
2019-04-05 12:14:13 +02:00 |
topicons-plus
|
gnomeExtensions.topicons-plus: 21 -> 22
|
2018-12-12 14:39:50 +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
|
gnomeExtensions.impatience: Fix the version number
|
2018-03-07 19:57:55 +01:00 |
volume-mixer.nix
|
treewide: use glib tools from build-time $PATH
|
2018-08-30 19:47:41 +02:00 |
workspace-grid.nix
|
|
|