# HG changeset patch
# User wenzelm
# Date 850146064 -3600
# Node ID b51e104ecf40387d7a7a4ecc74b874cfa7d75a99
# Parent  a42c1b835fb3cfd377451b5f18ed1c10e7ca7534
*** empty log message ***

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