diff --git a/docs/menu.xml b/docs/menu.xml index f150b258..2fd2c094 100644 --- a/docs/menu.xml +++ b/docs/menu.xml @@ -43,6 +43,11 @@