Mark Paluch fc7e0d67f5 Update CI Properties. ...

See #607

2025-02-11 15:23:11 +01: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-02-11 15:23:11 +01:00