commit | 64106bf80aae2a6ac3db768fefbbbbc975c989e9 | [log] [tgz] |
---|---|---|
author | Daniel StrĂ¼ber <strueber@mathematik.uni-marburg.de> | Fri Nov 15 13:27:49 2019 +0100 |
committer | Daniel StrĂ¼ber <strueber@mathematik.uni-marburg.de> | Fri Nov 15 13:27:49 2019 +0100 |
tree | 08e04196e47677041ae55362fd638a63a89d0ea1 | |
parent | a2ce6a25fa11687144b6e84e25e1b493bcd6c1e0 [diff] |
Update path to download server after CI migration (2) Change-Id: I7767da8d9a025d6074d89042beea21c9ac979f68