diff options
| author | David Pursehouse <david.pursehouse@gmail.com> | 2020-02-04 18:54:23 +0900 |
|---|---|---|
| committer | David Pursehouse <david.pursehouse@gmail.com> | 2020-02-04 18:54:39 +0900 |
| commit | 614d8a15b98643839f4d4abb6f5927530a79ed66 (patch) | |
| tree | d000c07df4fd9fdd436eaf6e54d4c25bf8a3aedc /pom.xml | |
| parent | 730b7a5ebf149e8df085a19ce4d4eddcea5958dd (diff) | |
| download | jgit-614d8a15b98643839f4d4abb6f5927530a79ed66.tar.gz jgit-614d8a15b98643839f4d4abb6f5927530a79ed66.zip | |
Upgrade maven-pmd-plugin to 3.13.0
Change-Id: I6e20b77db743cd8578aa1f8688f893b746e861d1
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
@@ -298,7 +298,7 @@ <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-pmd-plugin</artifactId> - <version>3.12.0</version> + <version>3.13.0</version> <configuration> <sourceEncoding>utf-8</sourceEncoding> <minimumTokens>100</minimumTokens> |