diff options
| author |  mschwerhoff <unknown> | 2010-10-21 12:37:19 +0000 |
|---|---|---|
| committer | mschwerhoff <unknown> | 2010-10-21 12:37:19 +0000 |
| commit | 7b2e81b5f228e09feaedd215c7d2fc7eed0ffe1c (patch) | |
| tree | 423f16e33e842891ac50489b3e6b2850c9c8ed4a /Binaries/PrepareBoogieZip.bat | |
| parent | 6f082ca6d08fbef18e108062e29252f906c422dc (diff) | |
Chalice: Now compiles with Scala 2.7.7 and 2.8.0, the latter yields many warnings, though. If 2.8.0 terminates with a stack overflow, increase stack size of the JVM (-Xss16M)
Diffstat (limited to 'Binaries/PrepareBoogieZip.bat')
0 files changed, 0 insertions, 0 deletions