scripts/VSERVERS

   1 #*@blitz.pl.sophia.inria.fr
   2 #*@liquid.pl.sophia.inria.fr
   3 #*@reed.pl.sophia.inria.fr
   4 #*@velvet.pl.sophia.inria.fr
   5 *@warhol.pl.sophia.inria.fr
   6 *@speedball.pl.sophia.inria.fr
   7 *@addntox.pl.sophia.inria.fr
   8 *@deathvegas.pl.sophia.inria.fr
   9 *@gorillaz.pl.sophia.inria.fr
  10 *@gotan.pl.sophia.inria.fr
  11 *@truckers.pl.sophia.inria.fr