changeset 69432 | d072f3287ffa |
parent 69375 | f8a1f1d7dd62 |
child 69435 | e18e4532fb42 |
--- a/Admin/Release/CHECKLIST Sat Dec 08 23:50:56 2018 +0100 +++ b/Admin/Release/CHECKLIST Sat Dec 08 23:53:43 2018 +0100 @@ -86,7 +86,7 @@ - fully-automated packaging (e.g. on lxbroy10): - hg up -r DISTNAME && Admin/build_release -M macbroy30 -O -l -R DISTNAME /home/isabelle/dist + hg up -r DISTNAME && Admin/build_release -O -l -R DISTNAME /home/isabelle/dist - Docker image: