Re: [htdig-dev] What about the developer site a.k.a. /dev

[Geoff H. <ghu...@ws...>]

> However, in the mirror list, there are entries to all
> the /dev sites. Maybe this is confusing. So:
> 
>    If /dev isn't used anymore, because the SourceForge
>    site is used now, why not delete them and remove
>    the entries from the mirror list.

This has been my feeling too, but IIRC Gilles thought it would be better
to keep the /dev/ section. Honestly, I don't have much opinion one way or
the other on this, but it could cut down on the requirements for mirror
sites.

-Geoff