Manuel Friedli a1f8cfb8ec Merge branch 'master' into feature/cleanup-gitlab		2016-02-23 14:50:02 +01:00
..
gitlab-ci-multi-runner	Merge branch 'master' into feature/cleanup-gitlab	2016-02-23 14:50:02 +01:00
gitlab-shell	cleaned up stuff	2016-01-15 21:01:16 +01:00
gitlab-workhorse	Merge branch 'master' into feature/cleanup-gitlab	2016-02-23 14:50:02 +01:00