| .. |
|
appindicator
|
gnomeExtensions.appindicator: init at v22
|
2018-02-16 12:36:30 +01:00 |
|
battery-status
|
gnomeExtensions.battery-status: init at v6
|
2018-02-19 13:41:11 -05:00 |
|
caffeine
|
gnomeExtensions.caffeine: init at revision unstable-2017-06-21 (#26901)
|
2017-07-03 08:35:31 +01:00 |
|
chrome-gnome-shell
|
chrome-gnome-shell: 9 → 10
|
2018-03-05 04:50:48 +01:00 |
|
clipboard-indicator
|
gnomeExtensions.clipboard-indicator: init at 30
|
2018-02-02 00:26:49 +01:00 |
|
dash-to-dock
|
gnomeExtensions.dash-to-dock: v61 -> v62
|
2018-02-21 12:25:34 +02:00 |
|
dash-to-panel
|
dash-to-panel: init at v11
|
2017-12-29 20:23:08 +01:00 |
|
icon-hider
|
gnomeExtensions.icon-hider: init at 19
|
2018-02-02 00:16:11 +01:00 |
|
mediaplayer
|
gnomeExtensions.mediaplayer: init at 3.5
|
2017-12-30 20:00:22 +01:00 |
|
no-title-bar
|
gnomeExtensions.no-title-bar: init at 8
|
2018-02-23 06:56:56 +01:00 |
|
nohotcorner
|
gnome-shell-extension-nohotcorner: init at 16.0
|
2018-01-23 00:48:27 -05:00 |
|
remove-dropdown-arrows
|
gnomeExtensions.remove-dropdown-arrows: init at 9
|
2018-02-14 02:36:07 +01:00 |
|
taskwhisperer
|
gnomeExtensions.taskwhisperer: init at v11
|
2018-02-19 10:55:36 -05:00 |
|
timepp
|
gnomeExtensions.timepp: init at 2018.03.17
|
2018-03-18 11:28:48 +02:00 |
|
topicons-plus
|
gnomeExtensions.topicons-plus: 20 -> 21
|
2017-11-26 03:10:56 +01:00 |
|
impatience.nix
|
|
|
|
system-monitor.nix
|
treewide: Make explicit that 'dev' output of glib is used
|
2016-08-23 04:32:21 +03:00 |
|
volume-mixer.nix
|
treewide: Make explicit that 'dev' output of glib is used
|
2016-08-23 04:32:21 +03:00 |
|
workspace-grid.nix
|
workspace-grid gnome-shell extension: init
|
2016-04-15 16:19:43 -04:00 |
