From b537a79b20d6a7ee9ff25ee48b6991857818c250 Mon Sep 17 00:00:00 2001 From: gurkerl83 Date: Sun, 6 Dec 2020 21:06:01 +0100 Subject: [PATCH] Remove section reporting In the last two commits, the site reporting feature got gradually decommissioned. The maven plugin project-info-reports got removed in the previous commit, which gets controlled by the reporting section. Because this workflow is out of use, this commit removes the reporting section. --- project/pom.xml | 18 ------------------ 1 file changed, 18 deletions(-) diff --git a/project/pom.xml b/project/pom.xml index f98d0dc6b2..40e4ad38e9 100644 --- a/project/pom.xml +++ b/project/pom.xml @@ -1078,24 +1078,6 @@ - - - - - org.apache.maven.plugins - maven-checkstyle-plugin - - ../resources/checkstyle.xml - ../resources/checkstyle-suppressions.xml - checkstyle.suppressions.file - true - true - true - warning - - - - disable-doclint