Admin/MacOS/Info.plist-part2
author blanchet
Mon May 19 13:53:58 2014 +0200 (2014-05-19)
changeset 56995 61855ade6c7e
parent 54392 f14791d4f08d
child 57411 9444489766a1
permissions -rw-r--r--
hide more consts to beautify documentation
wenzelm@53488
     1
<string>-Disabelle.home=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}</string>
wenzelm@53488
     2
</array>
wenzelm@53488
     3
<key>JVMArguments</key>
wenzelm@53488
     4
<array>
wenzelm@53488
     5
</array>
wenzelm@53488
     6
</dict>
wenzelm@53488
     7
</plist>