Manuel Friedli 768ab4dcd5 Merge branch 'master' into feature/cleanup-gitlab		2016-02-09 17:19:12 +01:00
..
gitlab-ci-multi-runner	Merge branch 'master' into feature/cleanup-gitlab	2016-02-09 17:19:12 +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-09 17:19:12 +01:00