[Python-Dev] externals?

[Trent Nelson]

On Sun, Nov 18, 2012 at 04:18:43AM -0800, martin at v.loewis.de wrote:
> I'd like to stress that we don't need any versioning here. wget and
> tar would be sufficient, except that it's Windows, so we have neither
> wget nor tar. However, including a PowerShell script may be an option;
> most developers will have PowerShell already on their system. AFAICT,
> PowerShell can do HTTP downloads and extract zip files.

    I'm disturbed that I subconsciously interpreted this as a challenge
    to do it via a standalone batch/.bat ;-)

        Trent.