Armin Schrenk 18ce7d333d fix build ...

* use JDK 25
* first install git, then checkout

2026-02-16 11:01:43 +01:00

..

common

apply suggestions from code review

2026-01-28 17:35:34 +01:00

linux

fix build

2026-02-16 11:01:43 +01:00

mac

Rename jvm property and actual config file

2026-02-09 16:54:04 +01:00

win

Apply suggestions from codereview

2026-02-11 14:33:01 +01:00