diff options
author | paltherr <paltherr@epfl.ch> | 2003-10-23 06:56:52 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-10-23 06:56:52 +0000 |
commit | fa860129191cbb88541d069ba014d2c5237e1d54 (patch) | |
tree | fedba27ef1310462535be8d197e69a6bd8348848 /config | |
parent | 1e58e5873daf41c29b342426de3fc221a8d1d0d9 (diff) | |
download | scala-fa860129191cbb88541d069ba014d2c5237e1d54.tar.gz scala-fa860129191cbb88541d069ba014d2c5237e1d54.tar.bz2 scala-fa860129191cbb88541d069ba014d2c5237e1d54.zip |
- Improved stdlib.sh
- Adapted install.sh & mirror.sh
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions