Mark Paluch cf033b487c Update CI Properties. ...

See #632

2025-05-12 08:55:52 +02:00

..

wrapper

Upgrade to Maven Wrapper 3.9.9.

2024-11-07 09:47:19 +01:00

extensions.xml

Update CI Properties.

2025-02-11 15:23:11 +01:00

jvm.config

Update CI Properties.

2025-05-12 08:55:52 +02:00