chiark / gitweb /
regress: Rename Tensurerecordfile to Tensuresetup