diff options
author | michelou <michelou@epfl.ch> | 2005-10-11 15:19:34 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2005-10-11 15:19:34 +0000 |
commit | c7a32d907929c3a74f9dfe3f34b2db1e255e432a (patch) | |
tree | 90d27e8c95e9714274eac0e7adef37e63e4f3c8f /config | |
parent | 620b8cedeb604a22a98b08b0edc1ffe6e81d2eef (diff) | |
download | scala-c7a32d907929c3a74f9dfe3f34b2db1e255e432a.tar.gz scala-c7a32d907929c3a74f9dfe3f34b2db1e255e432a.tar.bz2 scala-c7a32d907929c3a74f9dfe3f34b2db1e255e432a.zip |
- 1st attempt to fix $Id.
Diffstat (limited to 'config')
-rw-r--r-- | config/build.default.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/build.default.properties b/config/build.default.properties index b795bb0af3..15b13e3371 100644 --- a/config/build.default.properties +++ b/config/build.default.properties @@ -23,8 +23,8 @@ java.jar=${java.home}/jre/lib/rt.jar ant.jar=${ant.home}/lib/ant.jar doc.dir=${basedir}/doc -sources.dir=${basedir}/sources newsources.dir=${basedir}/newsources +sources.dir=${basedir}/sources support.dir=${basedir}/support test.dir=${basedir}/test |