gnome-shell-extension-pop-shell

Subpackages

gnome-shell-extension-pop-shell - GNOME Shell extension for advanced tiling window management
gnome-shell-extension-pop-shell-shortcut-overrides - Shortcut overrides for gnome-shell-extension-pop-shell