commit | 51d6547c67513c050e35da6872524a8fd89c4c99 | [log] [tgz] |
---|---|---|
author | Daniel StrĂ¼ber <strueber@mathematik.uni-marburg.de> | Fri Nov 15 13:43:16 2019 +0100 |
committer | Daniel StrĂ¼ber <strueber@mathematik.uni-marburg.de> | Fri Nov 15 13:43:16 2019 +0100 |
tree | 78b016d0e5afb4b788a9c8bd5a634937e8ec92f8 | |
parent | d7ccf54749418b4ae6e1b971f10579d4337c37dc [diff] |
Update path to download server after CI migration (4) Change-Id: I7625bb299f0d9844b3dcc73f71cb89313825a26e