# htpdate
a tool to synchronize system time with web servers