diff --git a/check.xml b/check.xml index f3a0af40ee..6191038492 100644 --- a/check.xml +++ b/check.xml @@ -147,8 +147,9 @@ value="${htmlcheck.report.dir}/report.txt" description="Report file of the HTML-Check"/> + - +