# HG changeset patch
# User wenzelm
# Date 1400425291 -7200
# Node ID 9b6628f29defc47318e9dad679a7fa30725daee9
# Parent  43be5818a45c3e39bc001080952420f1bda34235
clarified dependencies -- Mavericks presently does not work;

diff -r 43be5818a45c -r 9b6628f29def Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Sun May 18 00:00:26 2014 +0200
+++ b/Admin/Release/CHECKLIST	Sun May 18 17:01:31 2014 +0200
@@ -68,7 +68,7 @@
 Packaging
 =========
 
-- fully-automated packaging (requires Mac OS X):
+- fully-automated packaging (requires Mac OS X with gnutar):
 
   hg up -r DISTNAME && Admin/Release/build -l -r DISTNAME /home/isabelle/dist