chiark / gitweb /
debug should be stderr
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 28 Feb 2019 20:24:31 +0000 (20:24 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 28 Feb 2019 20:24:31 +0000 (20:24 +0000)
commitd925231eb0f8a1125a8aa6752c7643a15b107881
tree9c43e7b5c9683547426ceeac3f277c42112c9f4b
parent54ead4b06bbcacd035f3a07179a097831fa0b742
debug should be stderr
generate-board