Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
authorwenzelm
Mon, 09 Dec 1996 16:41:04 +0100
changeset 2348 b51e104ecf40
parent 2347 a42c1b835fb3
child 2349 e9475a7be4ad
*** empty log message ***
lib/scripts/getsettings file | annotate | diff | comparison | revisions 
--- 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
isabelle