Package : gnome-shell-extensions-workspace-indicator

Package details

Summary: A menu for changing workspace

Description:
A menu for changing workspace.


URL: https://wiki.gnome.org/GnomeShell/Extensions
License: GPLv2+

Maintainer: nobody

List of RPMs