Closed this issue 9 years ago · 1 comments
Consequently use wget with curl fallback to download stuff through bash scripts. Also output a warning if neither of them can be found.
Closed by 349a8cb