Skip to content

rename java.home to java_home#312

Merged
pallinger merged 2 commits intogdcc:developfrom
dsd-sztaki-hu:java_home_fix
May 28, 2024
Merged

rename java.home to java_home#312
pallinger merged 2 commits intogdcc:developfrom
dsd-sztaki-hu:java_home_fix

Commits

Commits on May 28, 2024