Mark Paluch eefdbb3dad Update CI Properties. ...

See #2047

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

..

wrapper

Upgrade to Maven Wrapper 3.9.9.

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

extensions.xml

Update CI Properties.

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

jvm.config

Update CI Properties.

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