Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/Tools/usedir
changeset 2849 01a536a6e4fb
parent 2812 dfcd1b00f294
child 2917 c7411fce37e4 
--- 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