worldofpeace 8f2e57d918 gnomeExtensions.battery-status: mark as broken		2019-04-05 12:14:11 +02:00
..
appindicator	gnomeExtensions.appindicator: 22 -> 23.1	2019-04-05 12:13:37 +02:00
battery-status	gnomeExtensions.battery-status: mark as broken	2019-04-05 12:14:11 +02: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: 10 -> 10.1	2019-04-05 12:13:32 +02:00
clipboard-indicator	gnomeExtensions.clipboard-indicator: init at 30	2018-02-02 00:26:49 +01:00
dash-to-dock	gnomeExtensions.dash-to-dock: 65 -> 66	2019-04-05 12:14:00 +02: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: 18.0 -> 19.0	2019-04-05 12:14:01 +02: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	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
window-corner-preview	gnomeExtensions.window-corner-preview: init at unstable-2019-02-27	2019-03-04 00:21:53 +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