chiark / gitweb /
formatting
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 6 Dec 2020 00:17:28 +0000 (00:17 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 6 Dec 2020 00:17:28 +0000 (00:17 +0000)
commit9ffec9d599165c44169a747ab5e8ae0ce53d1132
tree9fe8208e6009410c212b12acb17ad7284cdd668b
parentd4bf70e3cbb34a8769975c3beaca79eeae9af19c
formatting

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