From 8fa7d9f50f639f5bfb550f21b2a491dd0d07a906 Mon Sep 17 00:00:00 2001
From: nicoo <nicoo@realraum.at>
Date: Wed, 15 Nov 2017 00:01:30 +0100
Subject: [PATCH] ansible/hosts: Drop tools.mgmt.realraum.at (VM
 decomissioned)

---
 ansible/hosts |    1 -
 1 file changed, 1 deletion(-)

diff --git a/ansible/hosts b/ansible/hosts
index f7fb9da..9b5f7e5 100644
--- a/ansible/hosts
+++ b/ansible/hosts
@@ -19,7 +19,6 @@ hacksch.mgmt
 metrics.mgmt
 r3home.mgmt
 tickets.mgmt
-tools.mgmt
 
 [servers:children]
 baremetalservers
-- 
1.7.10.4