chiark / gitweb /
shared: add touch_file() and let touch() always update timestamp