diff --git a/pmd/xdocs/navigation.xml b/pmd/xdocs/navigation.xml index 2dbf0c802d..e0c1bb0058 100644 --- a/pmd/xdocs/navigation.xml +++ b/pmd/xdocs/navigation.xml @@ -35,8 +35,7 @@