Mark Paluch 1baeb84deb Update CI Properties. ...

See #3134

2025-05-12 08:59:50 +02:00

..

wrapper

Upgrade to Maven Wrapper 3.9.9.

2024-11-07 09:49:32 +01:00

extensions.xml

Update CI Properties.

2025-02-11 15:22:26 +01:00

jvm.config

Update CI Properties.

2025-05-12 08:59:50 +02:00