diff options
author | michelou <michelou@epfl.ch> | 2005-10-15 23:46:33 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2005-10-15 23:46:33 +0000 |
commit | 50e9847ce5c8c61189db711c7341ef8e82b4187d (patch) | |
tree | 4ad1f724f0776f0ccb4097fab84ba0a7e61d7025 /config | |
parent | 0efba3ab03a547b143a7cb5d62c8f81946681dcf (diff) | |
download | scala-50e9847ce5c8c61189db711c7341ef8e82b4187d.tar.gz scala-50e9847ce5c8c61189db711c7341ef8e82b4187d.tar.bz2 scala-50e9847ce5c8c61189db711c7341ef8e82b4187d.zip |
- added 'config.dir' property.
Diffstat (limited to 'config')
-rw-r--r-- | config/build.base.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/build.base.properties b/config/build.base.properties index b61db1d251..13217f2f37 100644 --- a/config/build.base.properties +++ b/config/build.base.properties @@ -8,6 +8,7 @@ bin.dir=${basedir}/bin build.support.dir=${basedir}/build.support +config.dir=${basedir}/config doc.dir=${basedir}/doc newsources.dir=${basedir}/newsources sources.dir=${basedir}/sources |