On Mon, Dec 17, 2001 at 12:10:03PM +0100, Alistair Crooks wrote:
> Manuel,
>
> Please commit this.
Done. I added a comment explaining this will try to fetch from the local
distfile mirror before ${MASTER_SITE}, which other mirror examples
don't do.
--
Manuel Bouyer, LIP6, Universite Paris VI. Manuel.Bouyer@lip6.fr
--