Manuel Friedli 3ff1b28b9d Moved {dev-vcs => www-servers}/gitlab-workhorse		2017-05-25 10:47:05 +02:00
..
updates	Moved {dev-vcs => www-servers}/gitlab-workhorse	2017-05-25 10:47:05 +02:00
repo_name	moving everything to trunk/ was a silly idea	2014-02-24 18:19:03 +01:00