tree cb9cfc061d0138bdf8c4de980af67a6eab35d197
parent dc653894a5a26ffc98026623a5ce50d0396d453e
author Jan Kundrát <jan.kundrat@cesnet.cz> 1551365042 +0100
committer Jan Kundrát <jan.kundrat@cesnet.cz> 1551366297 +0100

Use dependencies from a shared repo

Boost still gets picked from there, but it is installed from a release
tarball instead of a random git subtree -- mainly because this method is
much more efficient than dealing with a gazillion of git repositories.

Depends-on: https://gerrit.cesnet.cz/c/CzechLight/dependencies/+/1521
Change-Id: Ia85eac63bdc0e118824075bad847e0ab347d7f81