| changeset 57411 | 9444489766a1 |
| parent 54392 | f14791d4f08d |
| child 61298 | 49b964a6fe11 |
--- a/Admin/MacOS/Info.plist-part2 Fri Jun 27 00:21:11 2014 +0100 +++ b/Admin/MacOS/Info.plist-part2 Fri Jun 27 11:30:42 2014 +0200 @@ -1,4 +1,5 @@ <string>-Disabelle.home=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}</string> +<string>-Disabelle.app=true</string> </array> <key>JVMArguments</key> <array>