lib/scripts/getsettings
changeset 2348 b51e104ecf40
parent 2307 508d2a233dbc
child 2428 853732a26bdd
--- 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