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.
fixed -s option;
authorwenzelm
Tue, 01 Apr 1997 09:28:56 +0200
changeset 2849 01a536a6e4fb
parent 2848 f1cd1ad27588
child 2850 a66196e1668c
fixed -s option;
lib/Tools/usedir file | annotate | diff | comparison | revisions 
--- a/lib/Tools/usedir	Mon Mar 31 14:42:13 1997 +0200
+++ b/lib/Tools/usedir	Tue Apr 01 09:28:56 1997 +0200
@@ -34,7 +34,7 @@
 COPYDB=""
 SESSION=""
 
-while getopts "bc" OPT
+while getopts "bcs:" OPT
 do
   case "$OPT" in
     b)
isabelle