Log In
rpms
/
gnome-shell-extensions
Clone
Source Code
GIT
Source
Pull Requests
0
Stats
History SOURCES/add-workspace-tooltips.patch
Branch:
07c0814eb8416f5ee1faf39871926e4918d43937
c4
c5
c5-plus
c6
c6-plus
c7
c7-alt
c7-beta
c8
c8-beta
c8s
c9
c9-beta
07c0814eb8416f5ee1faf39871926e4918d43937
SOURCES
add-workspace-tooltips.patch
import gnome-shell-extensions-3.32.1-20.el8
CentOS Sources
• 3 years ago
4520f0