chiark / gitweb /
formatting
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 6 Dec 2020 00:08:54 +0000 (00:08 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 6 Dec 2020 00:08:54 +0000 (00:08 +0000)
commit4aab7c258bdae845edc64121b2d6cab61766598d
tree5395cca111e53da61635225c9011d79bd05f0330
parentd2bd4220827dcfef1d5682ea395e2f3188bd8593
formatting

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