From dc249ab3f4af3c3f840386ae7e774c919e5a3fc8 Mon Sep 17 00:00:00 2001
From: Nicolas Braud-Santoni <nicolas@braud-santoni.eu>
Date: Tue, 12 Jun 2018 22:01:58 +0200
Subject: Rename hosts to hosts.ini

---
 hosts.ini | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 hosts.ini

(limited to 'hosts.ini')

diff --git a/hosts.ini b/hosts.ini
new file mode 100644
index 0000000..791109f
--- /dev/null
+++ b/hosts.ini
@@ -0,0 +1,31 @@
+[baremetalservers]
+spektral
+mur
+tub
+
+[kvmhosts]
+spektral
+mur
+tub
+
+[virtualservers]
+oldgw
+gw-cc
+stats
+www
+git
+build
+build2
+tun
+conftun
+gw-mur
+debian
+spider
+gw-wien
+dvb
+nodedb
+nodedbstage
+
+[servers:children]
+baremetalservers
+virtualservers
-- 
cgit v1.2.1