diff -r a42c1b835fb3 -r b51e104ecf40 lib/scripts/getsettings
--- a/lib/scripts/getsettings	Mon Dec 09 16:40:22 1996 +0100
+++ b/lib/scripts/getsettings	Mon Dec 09 16:41:04 1996 +0100
@@ -1,7 +1,7 @@
 #
 # $Id$
 #
-# getsettings - bash source script to augment current env
+# getsettings - bash source script to augment current env.
 #
 
 #value set by caller