diff --git a/docs/menu.xml b/docs/menu.xml index 536d63a4..e5575618 100644 --- a/docs/menu.xml +++ b/docs/menu.xml @@ -68,11 +68,12 @@