diff options
author | peter mueller peter.mueller@inf.ethz.ch <unknown> | 2011-09-19 21:02:06 +0200 |
---|---|---|
committer | peter mueller peter.mueller@inf.ethz.ch <unknown> | 2011-09-19 21:02:06 +0200 |
commit | 809f3dbb4a458ce0b9bd4584cdb074e4a16fd1f2 (patch) | |
tree | 891945b9684e39cb1c8fb55664bd0304fa57b374 /_admin/Boogie/aste/summary.log | |
parent | 7189e6fd2e4a5d880e65be0b76d77f64cc6a6c61 (diff) |
Adapted batch file to use larger JVM stack size.
Diffstat (limited to '_admin/Boogie/aste/summary.log')
0 files changed, 0 insertions, 0 deletions