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
Filename Size Changed
Comments for gnome-shell-extensions 0