« Previous | Next » 

Revision cb489189

IDcb4891891ff007663fae46ae96afefa032ad9009

Added by Nikos Skalkotos over 12 years ago

Abandon wget.

Since curl is needed to find remote file sizes, lets do the whole
downloading with curl.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences