chiark / gitweb /
otter: Further improve error printing
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 15 May 2021 19:40:17 +0000 (20:40 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 15 May 2021 19:40:49 +0000 (20:40 +0100)
commit66c211f50e8cc4d9566d7d2fa705efd83f73155e
tree855c8de3ffb1c1b45bfcf371db5daf40bc6f47cb
parentee3059aa8f738d0dd673d492882fced13a5b9af9
otter: Further improve error printing

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/bin/otter.rs