chiark / gitweb /
fix debug
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 Sep 2020 17:41:19 +0000 (18:41 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 Sep 2020 17:41:19 +0000 (18:41 +0100)
commita0572b849f86bacbd23aa3a8bf87e0eee1bdf719
treeb1b907859a27a2dbf635d85071fe6193d143a4b5
parentd2d9f3bd1f1f23ee45c2f9cdb25d2b0e4e743bc5
fix debug

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