Christian Helmuth da673cfad7 tool/depot: replace wget by curl to support file:// URLs
File-scheme URLs permit users to host downloadable archives (which may
be sync'd by other means beforehand) on the local file system.

Fixes #4737
2023-01-24 12:18:16 +01:00
..
2021-07-28 11:24:56 +02:00
2022-01-19 12:35:49 +01:00