rpms / gnome-shell-extension-pop-shell

Clone
Source Code
GIT

2c517a3 Latest upstream snapshot

Authored and Committed by carlwgeorge 2 years ago
raw patch tree parent
3 files changed. 11 lines added. 13 lines removed.
50_org.gnome.desktop.wm.keybindings.pop-shell.gschema.override
file modified
+1 -1
gnome-shell-extension-pop-shell.spec
file modified
+9 -11
sources
file modified
+1 -1 
    Latest upstream snapshot
    
    - Upstream support for GNOME 41
    - Upstream removal of pop-launcher
  • Build failed
    failure
    Built as gnome-shell-extension-pop-shell-1.2.0^4.1fddaa8-1.fc36
    2 years ago
file modified
+1 -1
file modified
+9 -11
file modified
+1 -1
Powered by Pagure 5.14.1
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.