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