Jon Banafato 14b3b04c22 gnomeExtensions.remove-dropdown-arrows: init at 9 ... Add the Remove Dropdown Arrows GNOME Shell extension.		2018-02-14 02:36:07 +01:00
..
caffeine	gnomeExtensions.caffeine: init at revision unstable-2017-06-21 (#26901)	2017-07-03 08:35:31 +01:00
chrome-gnome-shell	firefox: add option for chrome-gnome-shell native messaging host	2018-01-13 15:22:52 +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: 60 -> 61	2017-11-26 03:10:55 +01: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
nohotcorner	gnome-shell-extension-nohotcorner: init at 16.0	2018-01-23 00:48:27 -05:00
pixel-saver	gnome-shell-extension-pixel-saver: init at 1.10	2018-01-23 21:17:19 -05:00
remove-dropdown-arrows	gnomeExtensions.remove-dropdown-arrows: init at 9	2018-02-14 02:36:07 +01: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