Essentials/scripts
ThatGamerBlue e3574edc5d
scripts: fix buildtools script under windows git bash (#3145)
wget is nonfunctional in git bash for windows, so we should use curl instead
(no matter what you pass to wget it fails with the same error)

https://i.imgur.com/YDw68vM.png
2020-04-09 15:05:21 +01:00
..
buildtools.sh scripts: fix buildtools script under windows git bash (#3145) 2020-04-09 15:05:21 +01:00