chiark / gitweb /
tests/example: Reset times of (copied) source files too