infra: patch-diff-report-tool is removed, as it should be taken from …

…releases as jar
checkstyle · Jul 31, 2024 · 755f67f · 755f67f
1 parent 5a9df17
commit 755f67f
Show file tree

Hide file tree

Showing 192 changed files with 0 additions and 14,492 deletions.
diff --git a/patch-diff-report-tool/README.md b/patch-diff-report-tool/README.md
diff --git a/patch-diff-report-tool/config/ant-phase-verify.xml b/patch-diff-report-tool/config/ant-phase-verify.xml
diff --git a/patch-diff-report-tool/config/import-control-test.xml b/patch-diff-report-tool/config/import-control-test.xml
diff --git a/patch-diff-report-tool/config/import-control.xml b/patch-diff-report-tool/config/import-control.xml
diff --git a/patch-diff-report-tool/config/suppressions.xml b/patch-diff-report-tool/config/suppressions.xml
diff --git a/patch-diff-report-tool/pom.xml b/patch-diff-report-tool/pom.xml