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.
Admin/Release/CHECKLIST
changeset 69375 f8a1f1d7dd62
parent 69310 bf5cbefb5c1f
child 69432 d072f3287ffa 
--- a/Admin/Release/CHECKLIST	Thu Nov 29 15:17:51 2018 +0100
+++ b/Admin/Release/CHECKLIST	Fri Nov 30 13:20:38 2018 +0100
@@ -86,7 +86,7 @@
 
 - fully-automated packaging (e.g. on lxbroy10):
 
-  hg up -r DISTNAME && Admin/build_release -M lapbroy68 -O -l -R DISTNAME /home/isabelle/dist
+  hg up -r DISTNAME && Admin/build_release -M macbroy30 -O -l -R DISTNAME /home/isabelle/dist
 
 - Docker image:
isabelle