updated the more general ntp.conf.de to contain the rwth-aachen.de server
[nodeconfig.git] / PLCAPI /
drwxr-xr-x   ..
-rwxr-xr-x 182 index.html