Admin/CHECKLIST
changeset 41608 5a3696574ebb
parent 41600 46d65140c5de
child 41617 0f98d8f27912
--- a/Admin/CHECKLIST	Mon Jan 17 23:04:35 2011 +0100
+++ b/Admin/CHECKLIST	Tue Jan 18 11:42:11 2011 +0100
@@ -57,3 +57,5 @@
 
 - makedist: REPOS_NAME="isabelle-release"
 
+- isatest@macbroy28:devel-page/content/index.content
+