chiark / gitweb /
test/example/check: Reset times for regen tests