From cda5d9f714587bb58df9444b3087a9f052211ebf Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Tue, 24 Apr 2018 14:20:04 +0300 Subject: Change: update hosts.ickdev for new names --- hosts.ickdev | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/hosts.ickdev b/hosts.ickdev index 5e89777..0c8572f 100644 --- a/hosts.ickdev +++ b/hosts.ickdev @@ -1,6 +1,6 @@ -controller ickdev-controller.vm.liw.fi -apt ickdev-apt.vm.liw.fi -qvisqve ickdev-qvisqve.vm.liw.fi -artifacts ickdev-artifacts.vm.liw.fi -worker1 ickdev-worker1.vm.liw.fi -worker2 ickdev-worker2.vm.liw.fi +apt ickdev2-apt.vm.liw.fi +artifacts ickdev2-artifacts.vm.liw.fi +controller ickdev2-controller.vm.liw.fi +qvisqve ickdev2-qvisqve.vm.liw.fi +worker1 ickdev2-worker1.vm.liw.fi +worker2 ickdev2-worker2.vm.liw.fi -- cgit v1.2.1