chiark / gitweb /
Fix up validation scripts so that they more or less work: don't hardcode