chiark / gitweb /
Remove now-redundant check target.