lib/scripts/getsettings
changeset 2348 b51e104ecf40
parent 2307 508d2a233dbc
child 2428 853732a26bdd
     1.1 --- a/lib/scripts/getsettings	Mon Dec 09 16:40:22 1996 +0100
     1.2 +++ b/lib/scripts/getsettings	Mon Dec 09 16:41:04 1996 +0100
     1.3 @@ -1,7 +1,7 @@
     1.4  #
     1.5  # $Id$
     1.6  #
     1.7 -# getsettings - bash source script to augment current env
     1.8 +# getsettings - bash source script to augment current env.
     1.9  #
    1.10  
    1.11  #value set by caller