use trunk instead
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 17 Sep 2008 06:45:20 +0000 (06:45 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 17 Sep 2008 06:45:20 +0000 (06:45 +0000)
commitf02b0bd454739832d6a75e44d3a31e4acaa92b01
treee35c05eea9630d1094a37c09231e0b1fb9a459f1
parent6cc9102ced514d74034118bd896cdb4c4ebb9d15
use trunk instead
mirroring/mirror.sh [deleted file]