chiark / gitweb /
run-tests: Don't show echo_header commands