diff options
Diffstat (limited to 'config')
-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= |