chiark / gitweb /
better output
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 3 Oct 2023 23:41:57 +0000 (00:41 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 3 Oct 2023 23:41:57 +0000 (00:41 +0100)
commit0a3aa40159801cda766d6a5ac2448d0c673faee8
treec6eac27a3b9a845ccf32d030e4ce52ff97367100
parent1615a8b23e761f5fe620bbdc5e2f5714561a1818
better output
total-checker