diff options
| author | David Pursehouse <david.pursehouse@gmail.com> | 2017-05-10 10:23:54 +0900 |
|---|---|---|
| committer | David Pursehouse <david.pursehouse@gmail.com> | 2017-05-12 08:30:55 +0900 |
| commit | 52844e2960e1e0d3abb9eee3c24a2e6d01cb5fa3 (patch) | |
| tree | 9b8e562d91aa50987bdab3188c43d74dd297bf40 | |
| parent | decb6d01cc5330092b7e0f0a5394baf3eee01074 (diff) | |
| download | jgit-52844e2960e1e0d3abb9eee3c24a2e6d01cb5fa3.tar.gz jgit-52844e2960e1e0d3abb9eee3c24a2e6d01cb5fa3.zip | |
Upgrade maven-pmd-plugin to latest version
Change-Id: Ief52488d97bb2771b4c5a40c4a9578c68a24964b
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
| -rw-r--r-- | pom.xml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -390,7 +390,7 @@ <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-pmd-plugin</artifactId> - <version>3.7</version> + <version>3.8</version> <configuration> <sourceEncoding>utf-8</sourceEncoding> <minimumTokens>100</minimumTokens> |