diff options
author | gjoranv <gv@oath.com> | 2018-07-02 16:07:28 +0200 |
---|---|---|
committer | gjoranv <gv@oath.com> | 2018-07-02 16:08:34 +0200 |
commit | 12e0ec5ecd2e38e99103a3c99e9aa21f402de7d9 (patch) | |
tree | e2fbd35a768520a7db752925f7ddbfc31a4eb8ea /parent | |
parent | 9387b79d50d0a41ac7ed8493d46341dda5f926d7 (diff) |
Java 10: use latest javadoc plugin
- This fell out of an earlier commit that claimed to do the same.
Diffstat (limited to 'parent')
-rw-r--r-- | parent/pom.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parent/pom.xml b/parent/pom.xml index 836f6298e5c..5cef496a941 100644 --- a/parent/pom.xml +++ b/parent/pom.xml @@ -146,7 +146,7 @@ <configuration> <doclint>${doclint},-missing</doclint> </configuration> - <version>3.0.0</version> + <version>3.0.1</version> </plugin> <plugin> <groupId>org.apache.maven.plugins</groupId> |