diff options
author | paltherr <paltherr@epfl.ch> | 2003-03-24 16:57:18 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-03-24 16:57:18 +0000 |
commit | 9cfe96647bc3d349d05f88ba058de807236603ff (patch) | |
tree | e785eb4ef5fb41299f49b62be5c235d87694b784 /support/scripts | |
parent | bbd53b7ccb91a9063547bb99fea15d4234c5b170 (diff) | |
download | scala-9cfe96647bc3d349d05f88ba058de807236603ff.tar.gz scala-9cfe96647bc3d349d05f88ba058de807236603ff.tar.bz2 scala-9cfe96647bc3d349d05f88ba058de807236603ff.zip |
- Changed some names so that --jvm and --int ge...
- Changed some names so that --jvm and --int generate diffrent log files
Diffstat (limited to 'support/scripts')
0 files changed, 0 insertions, 0 deletions