| changeset 56902 | f901a08c5653 |
| parent 56829 | f151ade98b15 |
| child 56987 | 9b6628f29def |
--- a/Admin/Release/CHECKLIST Wed May 07 14:54:06 2014 +0200 +++ b/Admin/Release/CHECKLIST Wed May 07 18:09:08 2014 +0200 @@ -70,7 +70,7 @@ - fully-automated packaging (requires Mac OS X): - hg up -r DISTNAME && Admin/Release/build -r DISTNAME /home/isabelle/dist + hg up -r DISTNAME && Admin/Release/build -l -r DISTNAME /home/isabelle/dist Final release stage