rpms / gnome-shell-extension-pop-shell

Clone
Source Code
GIT

f13a1de Latest upstream snapshot

Authored and Committed by carlwgeorge 2 years ago
raw patch tree parent
4 files changed. 11 lines added. 7 lines removed.
50_org.gnome.settings-daemon.plugins.media-keys.pop-shell.gschema.override
file modified
+1 -1
50_org.gnome.shell.pop-shell.gschema.override
file modified
+3 -2
gnome-shell-extension-pop-shell.spec
file modified
+6 -3
sources
file modified
+1 -1 
    Latest upstream snapshot
  • Build completed
    success
    Built as gnome-shell-extension-pop-shell-1.2.0^7.4c03091-1.fc38
    2 years ago
  • Build completed
    success
    Built as gnome-shell-extension-pop-shell-1.2.0^7.4c03091-1.fc37
    2 years ago
  • Build completed
    success
    Built as gnome-shell-extension-pop-shell-1.2.0^7.4c03091-1.fc36
    2 years ago
file modified
+1 -1
file modified
+3 -2
file modified
+6 -3
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.