diff --git a/pmd/xdocs/navigation.xml b/pmd/xdocs/navigation.xml index d091f46e22..63e54c4d68 100644 --- a/pmd/xdocs/navigation.xml +++ b/pmd/xdocs/navigation.xml @@ -2,6 +2,7 @@ PMD +