nixpkgs/pkgs/desktops/gnome-3/extensions
2017-12-30 20:00:22 +01:00
..
caffeine
chrome-gnome-shell
dash-to-dock
dash-to-panel dash-to-panel: init at v11 2017-12-29 20:23:08 +01:00
mediaplayer gnomeExtensions.mediaplayer: init at 3.5 2017-12-30 20:00:22 +01:00
topicons-plus
impatience.nix
system-monitor.nix
volume-mixer.nix
workspace-grid.nix