Package : gnome-shell-extensions-workspace-indicator

Package details

Summary: A menu for changing workspace

Description:
A menu for changing workspace.



Maintainer: nobody

List of RPMs

    No RPM found for gnome-shell-extensions-workspace-indicator using the current filters, try other values.