Doc index - gnome-shell-extensions-extra
Packages contains this documentation
Package: gnome-shell-extensions-extra
apt-get install gnome-shell-extensions-extra
apt-get install gnome-shell-extensions-extra
Manuals in package:
Documentations in package: