Mark Paluch fb7b2f9290 Upgrade to Maven Wrapper 3.9.1. ...

See #823

2023-04-06 16:18:33 +02:00

..

maven-wrapper.jar

#121 - Introduce Jenkins.

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

maven-wrapper.properties

Upgrade to Maven Wrapper 3.9.1.

2023-04-06 16:18:33 +02:00