commit | def6e55c07516964c4fc39ab3191a6160ef7f950 | [log] [tgz] |
---|---|---|
author | Daniel StrĂ¼ber <strueber@mathematik.uni-marburg.de> | Fri Nov 15 13:57:00 2019 +0100 |
committer | Daniel StrĂ¼ber <strueber@mathematik.uni-marburg.de> | Fri Nov 15 13:57:00 2019 +0100 |
tree | a24521dfabb158e0a2c2a14f29dc3a4285069aa1 | |
parent | 7d59f292900f90db49fd4a447466ecc0f93d8e3e [diff] |
Update path to download server after CI migration (6) Change-Id: I639211e90b5ffcdec13fe169900dae454c447a10