diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-07-12 19:52:09 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-07-12 19:52:09 (GMT) |
| commit | a464eeecda20fefa64490f6454aa5650de67f119 (patch) | |
| tree | 26faabf938b57f8b4f3612f2b615c01a879c27f3 /scripts/crosstool.sh | |
| parent | 1e7411cce77b5f32b2f3fb6354de718f87f51b5d (diff) | |
Get rid of the legacy local variable got_it.
Allow to download files without extension.
Allow to specify a preffered extension when downloading a file.
Diffstat (limited to 'scripts/crosstool.sh')
0 files changed, 0 insertions, 0 deletions