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 | 31 -------------------------------
 1 file changed, 31 deletions(-)
 delete mode 100644 hosts

(limited to 'hosts')

diff --git a/hosts b/hosts
deleted file mode 100644
index 791109f..0000000
--- a/hosts
+++ /dev/null
@@ -1,31 +0,0 @@
-[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