diff options
author | Nicolas Braud-Santoni <nicolas@braud-santoni.eu> | 2018-06-12 22:01:58 +0200 |
---|---|---|
committer | Nicolas Braud-Santoni <nicolas@braud-santoni.eu> | 2018-06-12 22:01:58 +0200 |
commit | dc249ab3f4af3c3f840386ae7e774c919e5a3fc8 (patch) | |
tree | 17e81c46081875229dd9ea7fb54418e5e763d560 /hosts | |
parent | 6236f20810802e5e157fe6f26eff3df0e0143149 (diff) |
Rename hosts to hosts.ini
Diffstat (limited to 'hosts')
-rw-r--r-- | hosts | 31 |
1 files changed, 0 insertions, 31 deletions
@@ -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 |