6f80350
Initial import
Authored and Committed by 
carlwgeorge
3 years ago
.gitignore
file added
+1
0001-Open-shortcuts-website-if-pop-shell-shortcuts-is-not.patch
file added
+43
0001-Remove-schemas-from-compile-target.patch
file added
+29
50_org.gnome.desktop.wm.keybindings.pop-shell.gschema.override
file added
+18
50_org.gnome.mutter.pop-shell.gschema.override
file added
+7
50_org.gnome.mutter.wayland.pop-shell.gschema.override
file added
+2
50_org.gnome.settings-daemon.plugins.media-keys.pop-shell.gschema.override
file added
+6
50_org.gnome.shell.pop-shell.gschema.override
file added
+17
README.md
file removed
-3
gnome-shell-extension-pop-shell.spec
file added
+117
sources
file added
+1
-
Build completedsuccessBuilt as gnome-shell-extension-pop-shell-0.1.0-1.20201016gita11d3c3.fc343 years ago
-
Build completedsuccessBuilt as gnome-shell-extension-pop-shell-0.1.0-1.20201016gita11d3c3.fc333 years ago