Admin/MacOS/Info.plist-part2
changeset 57411 9444489766a1
parent 54392 f14791d4f08d
child 61298 49b964a6fe11
equal deleted inserted replaced
57394:7621a3b42ce7 57411:9444489766a1
     1 <string>-Disabelle.home=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}</string>
     1 <string>-Disabelle.home=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}</string>
       
     2 <string>-Disabelle.app=true</string>
     2 </array>
     3 </array>
     3 <key>JVMArguments</key>
     4 <key>JVMArguments</key>
     4 <array>
     5 <array>
     5 </array>
     6 </array>
     6 </dict>
     7 </dict>