diff options
author | David Pursehouse <david.pursehouse@gmail.com> | 2019-04-22 19:43:02 +0900 |
---|---|---|
committer | Matthias Sohn <matthias.sohn@sap.com> | 2019-04-29 00:40:46 +0200 |
commit | 8404757062a88ed92bef89292d981323364367a1 (patch) | |
tree | 5f359cfcb677917a85bbc175f75b58fe96c50bfe /pom.xml | |
parent | 88b56ff1e982417ac0bcc784e0100c7d5a5d480f (diff) | |
download | jgit-8404757062a88ed92bef89292d981323364367a1.tar.gz jgit-8404757062a88ed92bef89292d981323364367a1.zip |
Upgrade maven-pmd-plugin to 3.12.0
Change-Id: I5ae0f0573aae3da3789fecdad494a2dd243e780b
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
Diffstat (limited to 'pom.xml')
-rw-r--r-- | pom.xml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -328,7 +328,7 @@ <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-pmd-plugin</artifactId> - <version>3.11.0</version> + <version>3.12.0</version> <configuration> <sourceEncoding>utf-8</sourceEncoding> <minimumTokens>100</minimumTokens> |