summaryrefslogtreecommitdiff
path: root/hosts
diff options
context:
space:
mode:
authorNicolas Braud-Santoni <nicolas@braud-santoni.eu>2018-06-12 22:01:58 +0200
committerNicolas Braud-Santoni <nicolas@braud-santoni.eu>2018-06-12 22:01:58 +0200
commitdc249ab3f4af3c3f840386ae7e774c919e5a3fc8 (patch)
tree17e81c46081875229dd9ea7fb54418e5e763d560 /hosts
parent6236f20810802e5e157fe6f26eff3df0e0143149 (diff)
Rename hosts to hosts.ini
Diffstat (limited to 'hosts')
-rw-r--r--hosts31
1 files changed, 0 insertions, 31 deletions
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