HomeIsabelle/Phabricator

discontinued macOS JavaAppLauncher: re-use plain shell script;

Description

discontinued macOS JavaAppLauncher: re-use plain shell script;
more uniform java_options for all platforms;

Details

Provenance
makariusAuthored on
Parents
rISABELLEd045d900a929: tuned whitespace;
Branches
Unknown
Tags
Unknown