--- 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