diff --git a/docs/menu.xml b/docs/menu.xml index 94740dd1..87f4ed82 100644 --- a/docs/menu.xml +++ b/docs/menu.xml @@ -18,6 +18,10 @@ +