reordered so that the full reboot works (need mirror to be up to rm trackers)
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 23 Jun 2010 07:30:10 +0000 (09:30 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 23 Jun 2010 07:30:10 +0000 (09:30 +0200)
commit52f6cc7f6b37c1a11b03c5f749d7dd09f576016a
treedb09ad4bec37c922286d85b573246fbe5d3017bd
parentc27766370f41b21bd4e7b0087efc5ca55a71c3ca
reordered so that the full reboot works (need mirror to be up to rm trackers)
scripts/manage-infrastructure.py