Re: Timeserver?

[Michael Below]

Hi Jens,

you could use the time server to set your PC clock. Look in the man 
pages for xntpd (I don't know how to do it...)

Ciao
  Michael