-
-
Notifications
You must be signed in to change notification settings - Fork 25
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
rm: terra-gnome-shell-extension-pop-shell (#2522)
* obsolete terra-gnome-shell-extension-pop-shell Signed-off-by: sadlerm4 <[email protected]> * remove files Signed-off-by: sadlerm4 <[email protected]> * Revert "obsolete terra-gnome-shell-extension-pop-shell" This reverts commit 978b87c. --------- Signed-off-by: sadlerm4 <[email protected]>
- Loading branch information
Showing
9 changed files
with
0 additions
and
191 deletions.
There are no files selected for viewing
34 changes: 0 additions & 34 deletions
34
...gnome/gnome-shell-extension-pop-shell/0001-Remove-schema-handling-from-transpile.sh.patch
This file was deleted.
Oops, something went wrong.
18 changes: 0 additions & 18 deletions
18
...-shell-extension-pop-shell/50_org.gnome.desktop.wm.keybindings.pop-shell.gschema.override
This file was deleted.
Oops, something went wrong.
7 changes: 0 additions & 7 deletions
7
...tops/gnome/gnome-shell-extension-pop-shell/50_org.gnome.mutter.pop-shell.gschema.override
This file was deleted.
Oops, something went wrong.
2 changes: 0 additions & 2 deletions
2
...me/gnome-shell-extension-pop-shell/50_org.gnome.mutter.wayland.pop-shell.gschema.override
This file was deleted.
Oops, something went wrong.
6 changes: 0 additions & 6 deletions
6
...sion-pop-shell/50_org.gnome.settings-daemon.plugins.media-keys.pop-shell.gschema.override
This file was deleted.
Oops, something went wrong.
18 changes: 0 additions & 18 deletions
18
...ktops/gnome/gnome-shell-extension-pop-shell/50_org.gnome.shell.pop-shell.gschema.override
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
90 changes: 0 additions & 90 deletions
90
...desktops/gnome/gnome-shell-extension-pop-shell/terra-gnome-shell-extension-pop-shell.spec
This file was deleted.
Oops, something went wrong.
8 changes: 0 additions & 8 deletions
8
anda/desktops/gnome/gnome-shell-extension-pop-shell/update.rhai
This file was deleted.
Oops, something went wrong.