Mark Paluch 4413199db4 Upgrade to Maven Wrapper 3.8.5. ...

See #760

2022-06-03 09:39:38 +02:00

..

maven-wrapper.jar

#121 - Introduce Jenkins.

2019-06-11 20:24:04 -05:00

maven-wrapper.properties

Upgrade to Maven Wrapper 3.8.5.

2022-06-03 09:39:38 +02:00