chiark / gitweb /
shared: add timer_get_dst()