rpms / gnome-shell-extensions

Clone
Source Code
GIT

History SOURCES/add-workspace-tooltips.patch

c4 c5 c5-plus c6 c6-plus c7 c7-alt c7-beta c8 c8-beta c8s c9 c9-beta
  1.   07c0814eb8416f5ee1faf39871926e4918d43937
  2.   SOURCES
  3.   add-workspace-tooltips.patch
import gnome-shell-extensions-3.32.1-20.el8
CentOS Sources • 2 years ago  
4520f0

Powered by Pagure 5.14.1

SSH Hostkey/Fingerprint | Documentation