diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2011-11-07 20:40:28 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2011-11-07 20:40:28 (GMT) |
| commit | 7e07a5043b53076140a7ac3fe4c71daad5fa7ea7 (patch) | |
| tree | 9a651e44954141492209b406d4e0090e5c8d1310 /docs/5 - Using the toolchain.txt | |
| parent | 00a1fd67e9a592016e6a571386c50e557e567641 (diff) | |
scripts: use wget, not curl
It seems wget is more popular than curl.
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Diffstat (limited to 'docs/5 - Using the toolchain.txt')
0 files changed, 0 insertions, 0 deletions