changeset 61298 | 49b964a6fe11 |
parent 57411 | 9444489766a1 |
child 67490 | 982f0bf34804 |
--- a/Admin/MacOS/Info.plist-part2 Wed Sep 30 23:22:27 2015 +0200 +++ b/Admin/MacOS/Info.plist-part2 Wed Sep 30 23:37:20 2015 +0200 @@ -1,4 +1,4 @@ -<string>-Disabelle.home=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}</string> +<string>-Disabelle.root=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}</string> <string>-Disabelle.app=true</string> </array> <key>JVMArguments</key>