Fix toolchain setup on jenkins (#68)

This commit is contained in:
Fritz Elfert 2020-04-22 09:56:36 +02:00 committed by GitHub
parent 5ac92111c4
commit 286fe5cba0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions

View File

@ -1494,6 +1494,9 @@
</plugin>
</plugins>
</build>
<properties>
<javadoc.opts></javadoc.opts>
</properties>
</profile>
</profiles>
</project>