chiark / gitweb /
otter: Introduce extra_error message hook
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 6 Jun 2021 21:49:53 +0000 (22:49 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 6 Jun 2021 21:49:53 +0000 (22:49 +0100)
commit5683372d4c633eda770f4e601128d755c530edf6
treea8d3d886ba9fa62d977ea5348bb3cededd7dccde
parent1e9b11b08eefa9880c7e7143fa39fb945f277d4f
otter: Introduce extra_error message hook

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