diff options
author | michelou <michelou@epfl.ch> | 2005-10-11 13:44:32 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2005-10-11 13:44:32 +0000 |
commit | 7f208e2a134a8e8f127eba491cc4aaa3ad207423 (patch) | |
tree | 16a0c6cf63e580cb15aba22f5502d3edb35b9e11 | |
parent | e4ce6b57c2d6261b06607ac17ef2df56f802a6ae (diff) | |
download | scala-7f208e2a134a8e8f127eba491cc4aaa3ad207423.tar.gz scala-7f208e2a134a8e8f127eba491cc4aaa3ad207423.tar.bz2 scala-7f208e2a134a8e8f127eba491cc4aaa3ad207423.zip |
- added CVS header.
-rw-r--r-- | config/build.default.properties | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/config/build.default.properties b/config/build.default.properties index db3773f947..8982bd2f35 100644 --- a/config/build.default.properties +++ b/config/build.default.properties @@ -1,8 +1,9 @@ # These are the default properties for the Scala build script. +# $Id$ -# DO NOT CHANGE THIS FILE! Changes should be made in the -# 'build.USER_NAME.properties' file, that will override the properties in -# this file. +# DO NOT CHANGE THIS FILE! +# Changes should be made in the 'build.USER_NAME.properties' file, +# that will override the properties in this file. nsc.logging=none nsc.stop= |