chiark / gitweb /
core: timer - switch to touch_file()