diff options
author | michelou <michelou@epfl.ch> | 2004-07-26 09:54:00 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2004-07-26 09:54:00 +0000 |
commit | b4ae478e1141918615af13d3bdcdd1897a7108b2 (patch) | |
tree | e7a1b79e3d597cbe0a856640ddb6ea102a5f17d3 /config/ia/tools.zip | |
parent | 77542c4f6a0527a94e856432dd6f617cb0e154e7 (diff) | |
download | scala-b4ae478e1141918615af13d3bdcdd1897a7108b2.tar.gz scala-b4ae478e1141918615af13d3bdcdd1897a7108b2.tar.bz2 scala-b4ae478e1141918615af13d3bdcdd1897a7108b2.zip |
- merged batch files into scalaenv.bat
- replaced GNU sed with sed15 (smaller)
- removed DOS tools cut.exe and tail.exe
Diffstat (limited to 'config/ia/tools.zip')
-rw-r--r-- | config/ia/tools.zip | bin | 170444 -> 109543 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/config/ia/tools.zip b/config/ia/tools.zip Binary files differindex acc1a5a368..4b58534119 100644 --- a/config/ia/tools.zip +++ b/config/ia/tools.zip |