diff --git a/pmd/xdocs/navigation.xml b/pmd/xdocs/navigation.xml index 6d1d650f1a..e4550501c0 100644 --- a/pmd/xdocs/navigation.xml +++ b/pmd/xdocs/navigation.xml @@ -14,9 +14,9 @@