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.
src/Pure/Admin/build_release.scala
changeset 73894 d7ac039421ec
parent 73703 08def1cc6b33
child 73987 fc363a3b690a 
--- a/src/Pure/Admin/build_release.scala	Mon Jun 28 14:43:33 2021 +0200
+++ b/src/Pure/Admin/build_release.scala	Mon Jun 28 18:10:06 2021 +0200
@@ -861,7 +861,7 @@
       var rev = ""
 
       val getopts = Getopts("""
-Usage: Admin/build_release [OPTIONS] BASE_DIR
+Usage: Admin/build_release [OPTIONS]
 
   Options are:
     -A REV       corresponding AFP changeset id
isabelle