tools: remove spaces from toolchain URLs

This commit is contained in:
Ivan Grokhotkov 2019-10-30 15:29:09 +01:00
parent cfe9244a96
commit f61fd8a664