| commit | 6f89dbf89d5c514d3c12174cf0f31bd4b3bd15f1 | [log] [tgz] |
|---|---|---|
| author | Philipp Schrader <philipp.schrader@gmail.com> | Tue Jan 27 04:15:29 2015 +0000 |
| committer | Philipp Schrader <philipp.schrader@gmail.com> | Tue Jan 27 04:15:29 2015 +0000 |
| tree | c837eb51313f753bccae917566ac1882f692b42e | |
| parent | 2aa83d74e02dd39396facf1edcd3bddbde1c1da2 [diff] |
download_externals: Fix GMP download URL. Change-Id: Iad5f96a6f85e613214cbe75aba8594b673a1aa64