| commit | 2be881c409c486882b23f07e52869d6c26debb4b | [log] [tgz] |
|---|---|---|
| author | Mikaël Barbero <mikael@eclipse.org> | Thu Jan 05 07:20:05 2017 -0400 |
| committer | Mikaël Barbero <mikael@eclipse.org> | Thu Jan 05 07:20:54 2017 -0400 |
| tree | dee397e81a7aab31c7b8c1f71b177aad09fbe7e2 | |
| parent | ce5b61e9af087446428005e69adae04749c3e839 [diff] |
Use curl instead of wget to avoid proxy issues Change-Id: I01add8dfb36ede1c6ec3f27751084010c2f38a72 Signed-off-by: Mikael Barbero <mikael@eclipse.org>