diff --git a/docs/menu.xml b/docs/menu.xml index e5575618..b9dda361 100644 --- a/docs/menu.xml +++ b/docs/menu.xml @@ -25,18 +25,7 @@ Any menu with the id "workspaces" will be hidden if there is only a single workspace available. --> -