Michael Raskin 52f9d29d9a Merge pull request #36410 from tiramiseb/gnome-shell-extension-system-monitor ... gnomeExtensions.system-monitor: fix this package and upgrade to v33		2018-03-28 09:59:33 +00:00
..
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
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
icon-hider	gnomeExtensions.icon-hider: init at 19	2018-02-02 00:16:11 +01:00
mediaplayer
no-title-bar	gnomeExtensions.no-title-bar: init at 8	2018-02-23 06:56:56 +01:00
nohotcorner
remove-dropdown-arrows	gnomeExtensions.remove-dropdown-arrows: init at 9	2018-02-14 02:36:07 +01:00
system-monitor	gnomeExtensions.system-monitor: do not need global sessionPath modification	2018-03-11 21:55:21 +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
impatience.nix
volume-mixer.nix
workspace-grid.nix