chiark / gitweb /
update mtime of nodes and links when we re-use them