commit | 7a581a7dc3a4231a6fee593d1046fc06c95c90e4 | [log] [tgz] |
---|---|---|
author | Daniel StrĂ¼ber <strueber@mathematik.uni-marburg.de> | Fri Nov 15 14:08:43 2019 +0100 |
committer | Daniel StrĂ¼ber <strueber@mathematik.uni-marburg.de> | Fri Nov 15 14:08:43 2019 +0100 |
tree | 4c7cb46e6238f9bc0debbf258d0468cc9f0d64a4 | |
parent | def6e55c07516964c4fc39ab3191a6160ef7f950 [diff] |
Update path to download server after CI migration (7) Change-Id: I046cd7874868aa5c3ebaa308e4e2548531904831