diff --git a/pmd/xdocs/navigation.xml b/pmd/xdocs/navigation.xml index c1e1a7153f..42b1ceda55 100644 --- a/pmd/xdocs/navigation.xml +++ b/pmd/xdocs/navigation.xml @@ -12,9 +12,8 @@ - - - + +