# HG changeset patch
# User wenzelm
# Date 1335991070 -7200
# Node ID ec5d5402966416bc2656e9d100e287c208555361
# Parent  d9a09f965dab62653a33ea7b8a52c7a0b59b32d7
clarified;

diff -r d9a09f965dab -r ec5d54029664 Admin/CHECKLIST
--- a/Admin/CHECKLIST	Wed May 02 21:55:13 2012 +0200
+++ b/Admin/CHECKLIST	Wed May 02 22:37:50 2012 +0200
@@ -67,10 +67,9 @@
 
 - makedist: REPOS_NAME="isabelle-release"
 
-- hgrc: default = /home/isabelle-repository/repos/isabelle-release
+- various .hg/hgrc files:
+  default = /home/isabelle-repository/repos/isabelle-release
 
-  isatest@macbroy28:hg-isabelle/.hg/hgrc
-  isatest@atbroy102:hg-isabelle/.hg/hgrc
-
+- isatest@macbroy28:hg-isabelle/.hg/hgrc
 - isatest@macbroy28:devel-page/content/index.content