ansible/hosts: Drop tools.mgmt.realraum.at (VM decomissioned)

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