Markus Hauschild ae65e438dc dns-extern: role for primary nameserver		2018-10-22 20:58:34 +02:00
..
all	dns-extern: role for primary nameserver	2018-10-22 20:58:34 +02:00
fan-rz	Adjust ntp for servers hosted at FAN.	2016-03-30 21:40:40 +02:00
kitchen	change ntp server	2018-10-15 19:45:40 +02:00