| .. |
|
appindicator
|
gnomeExtensions.appindicator: 22 -> 23.1
|
2019-04-05 12:13:37 +02:00 |
|
battery-status
|
|
|
|
caffeine
|
gnomeExtensions.caffeine: unstable-2017-06-21 -> unstable-2018-09-25
|
2018-11-30 21:35:23 +01: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: 64 → 65
|
2019-03-03 23:38:14 +01: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: 20 -> 21
|
2018-11-30 21:35:23 +01:00 |
|
mediaplayer
|
gnomeExtensions.mediaplayer: add python3 for install script
|
2018-09-04 03:23:33 +02:00 |
|
no-title-bar
|
gnomeExtensions.no-title-bar: 8 -> 9
|
2018-11-30 21:35:24 +01:00 |
|
nohotcorner
|
gnomeExtensions.nohotcorner: 17.0 -> 18.0
|
2018-11-30 21:35:23 +01: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: 2018-12-30 -> 2019-03-10
|
2019-04-05 12:13:38 +02:00 |
|
system-monitor
|
gnomeExtensions.system-monitor: 33 -> 36
|
2018-11-30 21:35:13 +01:00 |
|
taskwhisperer
|
|
|
|
timepp
|
|
|
|
topicons-plus
|
gnomeExtensions.topicons-plus: 21 -> 22
|
2018-12-12 14:39:50 +01:00 |
|
window-corner-preview
|
gnomeExtensions.window-corner-preview: init at unstable-2019-02-27
|
2019-03-04 00:21:53 +01:00 |
|
impatience.nix
|
|
|
|
volume-mixer.nix
|
treewide: use glib tools from build-time $PATH
|
2018-08-30 19:47:41 +02:00 |
|
workspace-grid.nix
|
|
|
