| commit | 45fedc57b505f2c11974babf98a49b0dfe993b71 | [log] [tgz] |
|---|---|---|
| author | Jan Kundrát <jan.kundrat@cesnet.cz> | Tue Oct 03 12:20:41 2017 +0200 |
| committer | Jan Kundrát <jan.kundrat@cesnet.cz> | Wed Oct 04 10:22:58 2017 +0200 |
| tree | f9c0b4db392a02f8f0d44ec8700d534a540d0c9e | |
| parent | 4d3a7276ab761eb3b1feb5682fb97eb2c362e3b7 [diff] |
Fix and refactor mirroring config It's probably a wrong idea to mix Prague-specific mirror config with board config, so let's keep these around but somewhere else. Also fix them so that they actually point to a place which works... Change-Id: If844359798be0e8d63be4ca2c526344091c943a4