chiark / gitweb /
formatting
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 6 Dec 2020 00:05:47 +0000 (00:05 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 6 Dec 2020 00:05:47 +0000 (00:05 +0000)
commitd2bd4220827dcfef1d5682ea395e2f3188bd8593
tree92395281f03d38f7de0e7f035d0d5d2aae0cb5c6
parent42394ccc2c1bcb7b5a7b098a0ffb96f5928763fa
formatting

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