Group :: Graphical desktop/GNOME
RPM: gnome-shell-extension-extension-list
Navigation
Main Changelog Spec Patches Sources Download Gear Bugs and FR Repocop
Current version: 45.0-alt1
Build date: 21 september 2023, 20:16 ( 31.3 weeks ago )
Size: 53.72 Kb
Home page: https://github.com/tuberry/extension-list
License: GPL-3.0
Summary: Simple GNOME Shell extension manager
Description:
List of contributors List of rpms provided by this srpm:
ACL:
Build date: 21 september 2023, 20:16 ( 31.3 weeks ago )
Size: 53.72 Kb
Home page: https://github.com/tuberry/extension-list
License: GPL-3.0
Summary: Simple GNOME Shell extension manager
Description:
Simple GNOME Shell extension manager in the top panel.
Current maintainer: Yuri N. Sedunov List of contributors List of rpms provided by this srpm:
- gnome-shell-extension-extension-list