Jens Peters 29bf5d5da1 ext/workspaces: moved/renamed from wlr/workspaces ... The ext-workspace-v1 protocol is not wlr/wlroots specific.		2025-06-29 21:51:31 +02:00
..
workspace_manager.hpp	ext/workspaces: moved/renamed from wlr/workspaces	2025-06-29 21:51:31 +02:00
workspace_manager_binding.hpp	ext/workspaces: moved/renamed from wlr/workspaces	2025-06-29 21:51:31 +02:00