use names in pl.sophia.inria.fr
authorthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Tue, 23 Mar 2010 08:28:03 +0000 (08:28 +0000)
committerthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Tue, 23 Mar 2010 08:28:03 +0000 (08:28 +0000)
commit41522effbdab200ff5824441d5e1e1f7cf2756a2
tree7d4b12edf600b93978d07659b03e9e041aee7e27
parent82e15373550a9ffae95999cde59c4995238a42c7
use names in pl.sophia.inria.fr
scripts/manage-infrastructure.py