]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2abab2) | patch
Fix PMD plugin configuration 91/1173391/1
authorMichael Keppler <Michael.Keppler@gmx.de>
Sun, 17 Dec 2023 14:30:35 +0000 (15:30 +0100)
committerMichael Keppler <Michael.Keppler@gmx.de>
Sun, 17 Dec 2023 14:30:35 +0000 (15:30 +0100)
commit5553f3b304af235e856230dd7727707916c3570b
treedf6b0496969c4c8015f8ff79c7286b1679fb3d5etree | snapshot
parentb2abab271a3c8093cc8c2cf3d5daea7ed408b78ccommit | diff
Fix PMD plugin configuration

The configuration element has been renamed in release 3.18, see
https://github.com/apache/maven-pmd-plugin/releases/tag/maven-pmd-plugin-3.18.0

Change-Id: Ia6ec6992c4348d77d4b61f34190a57775cc30cec
pom.xml diff | blob | history
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit