A collection of extensions for GNOME Shell

GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell.

Refresh
Refresh
Source Files (show merged sources derived from linked package)
Filename Size Changed Actions
Comments for gnome-shell-extensions 0