changeset 60186 | 9d8a0a6781c3 |
parent 60032 | 7fcbdc4aeb8e |
child 60294 | 3841632c7e4f |
--- a/Admin/Release/CHECKLIST Sun Apr 19 19:46:44 2015 +0200 +++ b/Admin/Release/CHECKLIST Sun Apr 19 21:49:24 2015 +0200 @@ -83,8 +83,8 @@ default = http://bitbucket.org/isabelle_project/isabelle-release default = ssh://hg@bitbucket.org/isabelle_project/isabelle-release -- isatest@macbroy28:hg-isabelle/.hg/hgrc -- isatest@macbroy28:devel-page/content/index.content +- isatest@lxbroy2:hg-isabelle/.hg/hgrc +- isatest@lxbroy2:devel-page/content/index.content Post-release