.. |
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: unstable-2017-06-21 -> unstable-2018-09-25
|
2018-11-30 21:35:23 +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: 63 → 64
|
2018-11-30 21:35:11 +01:00 |
dash-to-panel
|
gnomeExtensions.dash-to-panel: 11 → 16
|
2018-11-30 21:35:12 +01: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: init at 9
|
2018-02-14 02:36:07 +01:00 |
system-monitor
|
gnomeExtensions.system-monitor: 33 -> 36
|
2018-11-30 21:35:13 +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: 21 -> 22
|
2018-12-12 14:39:50 +01: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
|
workspace-grid gnome-shell extension: init
|
2016-04-15 16:19:43 -04:00 |