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 /config/build.default.properties | |
| parent | e4ce6b57c2d6261b06607ac17ef2df56f802a6ae (diff) | |
| download | scala-7f208e2a134a8e8f127eba491cc4aaa3ad207423.tar.gz scala-7f208e2a134a8e8f127eba491cc4aaa3ad207423.tar.bz2 scala-7f208e2a134a8e8f127eba491cc4aaa3ad207423.zip | |
- added CVS header.
Diffstat (limited to 'config/build.default.properties')
| -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= |