commit | d7ccf54749418b4ae6e1b971f10579d4337c37dc | [log] [tgz] |
---|---|---|
author | Daniel StrĂ¼ber <strueber@mathematik.uni-marburg.de> | Fri Nov 15 13:30:33 2019 +0100 |
committer | Daniel StrĂ¼ber <strueber@mathematik.uni-marburg.de> | Fri Nov 15 13:30:33 2019 +0100 |
tree | 4c152288995e65d472d3bdaf7d7266b15768dcd6 | |
parent | 64106bf80aae2a6ac3db768fefbbbbc975c989e9 [diff] |
Update path to download server after CI migration (3) Change-Id: Ifbbb5b4d4bab020fdac77dfa713ab6f3e4acce3a