updated the more general ntp.conf.de to contain the rwth-aachen.de server
[nodeconfig.git] / boot /
drwxr-xr-x   ..
-rwxr-xr-x 640 getnodeid.php
-rwxr-xr-x 2289 index.php
-rwxr-xr-x 3326 upload-bmlog.php
-rwxr-xr-x 4317 uudecode.gz