Public Amaya CVS server is back

We fixed the problem and it's now up to date.

-jose

Received on Monday, 21 January 2002 10:31:35 UTC