chiark / gitweb /
copy: adjust directory times after writing to the directory