make dekko build (!8) · Merge requests · Dekko Project / Dekko · GitLab

The source project of this merge request has been removed.

Peter Putz requested to merge dekkan/dekko:building into master Jul 22, 2018

using the script from J Renkl. Thanks!