updated the more general ntp.conf.de to contain the rwth-aachen.de server
[nodeconfig.git] / PlanetLabConf / ntp / ntp.conf.de
1 server tock.fh-augsburg.de
2 server timeserver.rwth-aachen.de
3 server clock.redhat.com