chiark / gitweb /
otter: Further improve error printing
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 15 May 2021 19:57:10 +0000 (20:57 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 15 May 2021 20:08:23 +0000 (21:08 +0100)
commite87d3b50c9639a8d7fc2536a61d64ff8beba09cf
tree0ae2091803f2827963446ec59283e339357e03a0
parentac349d33621468b33ac8e40c8441775e248822cf
otter: Further improve error printing

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