diff --git a/docs/menu.xml b/docs/menu.xml index b1890b65..d03f8e71 100644 --- a/docs/menu.xml +++ b/docs/menu.xml @@ -15,7 +15,7 @@ - +