diff --git a/docs/header.xml b/docs/header.xml index 52c31034e..e5c4d4d75 100644 --- a/docs/header.xml +++ b/docs/header.xml @@ -15,14 +15,11 @@ clonk.xsl also uses it to match the processing for it. --> search in the @@ -55,8 +52,8 @@ clonk.xsl also uses it to match the processing for it. -->
  • Forum
  • Development
  • Documentation