# HG changeset patch # User wenzelm # Date 1315747209 -7200 # Node ID 1cbe20966cdb0823507886066b36096de5400869 # Parent a4761fc03ee751cf82e47f6e9b01413452815caa updates for release; diff -r a4761fc03ee7 -r 1cbe20966cdb Admin/CHECKLIST --- a/Admin/CHECKLIST Sun Sep 11 14:58:52 2011 +0200 +++ b/Admin/CHECKLIST Sun Sep 11 15:20:09 2011 +0200 @@ -38,7 +38,7 @@ Packaging ========= -- makedist -r DISTNAME +- makedist -j jedit_build-XXXX -r DISTNAME - makebin (multiplatform);