| changeset 57411 | 9444489766a1 |
| parent 54392 | f14791d4f08d |
| child 61298 | 49b964a6fe11 |
| 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> |