chiark / gitweb /
wip with total checker etc.
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 24 Sep 2023 15:29:04 +0000 (16:29 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 24 Sep 2023 15:29:04 +0000 (16:29 +0100)
commit0ce6b621c8e58b492be36a0d4dfb014b8afe6aed
tree77568be0e3dee9b8bbc3b51695a901f1a2e400bd
parentdb69637d3a740591298723fcb299faf785513afd
wip with total checker etc.
Makefile
total-checker