> >   -- numerous doubles: the repository contains a lot of stuff that
> >     is already somewhere else in 'dist/'.

> the script I provided could be modified to make the appropriate symlinks.

If the repository could use symlinks, that might be good.  Much less traffic
to the mirrors, and the code stays in one place with the project(s).

        --- Noel


---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]

Reply via email to