tree f9c0b4db392a02f8f0d44ec8700d534a540d0c9e
parent 4d3a7276ab761eb3b1feb5682fb97eb2c362e3b7
author Jan Kundrát <jan.kundrat@cesnet.cz> 1507026041 +0200
committer Jan Kundrát <jan.kundrat@cesnet.cz> 1507105378 +0200

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