nixpkgs/pkgs/desktops/gnome-3/extensions
2018-03-18 11:28:48 +02:00
..
appindicator
battery-status
caffeine
chrome-gnome-shell
clipboard-indicator
dash-to-dock
dash-to-panel
icon-hider
mediaplayer
no-title-bar
nohotcorner
remove-dropdown-arrows
taskwhisperer
timepp gnomeExtensions.timepp: init at 2018.03.17 2018-03-18 11:28:48 +02:00
topicons-plus
impatience.nix
system-monitor.nix
volume-mixer.nix
workspace-grid.nix