From 7f208e2a134a8e8f127eba491cc4aaa3ad207423 Mon Sep 17 00:00:00 2001 From: michelou Date: Tue, 11 Oct 2005 13:44:32 +0000 Subject: - added CVS header. --- config/build.default.properties | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'config/build.default.properties') 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= -- cgit v1.2.3