updated the more general ntp.conf.de to contain the rwth-aachen.de server
[nodeconfig.git] / boot / getnodeid.php
2008-05-26 Thierry Parmentelatmoving towards 5.0
2008-03-26 Thierry Parmentelatcross module change