summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authormichelou <michelou@epfl.ch>2005-10-15 23:46:33 +0000
committermichelou <michelou@epfl.ch>2005-10-15 23:46:33 +0000
commit50e9847ce5c8c61189db711c7341ef8e82b4187d (patch)
tree4ad1f724f0776f0ccb4097fab84ba0a7e61d7025 /config
parent0efba3ab03a547b143a7cb5d62c8f81946681dcf (diff)
downloadscala-50e9847ce5c8c61189db711c7341ef8e82b4187d.tar.gz
scala-50e9847ce5c8c61189db711c7341ef8e82b4187d.tar.bz2
scala-50e9847ce5c8c61189db711c7341ef8e82b4187d.zip
- added 'config.dir' property.
Diffstat (limited to 'config')
-rw-r--r--config/build.base.properties1
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