diff --git a/eclipse/xdocs/navigation.xml b/eclipse/xdocs/navigation.xml index f0e4da3a..cbcde947 100644 --- a/eclipse/xdocs/navigation.xml +++ b/eclipse/xdocs/navigation.xml @@ -32,6 +32,7 @@