discontinued macOS JavaAppLauncher: re-use plain shell script;
more uniform java_options for all platforms;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEd045d900a929: tuned whitespace;
- Branches
- Unknown
- Tags