chiark / gitweb /
tidying
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 8 Aug 2020 11:34:23 +0000 (12:34 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 8 Aug 2020 11:34:23 +0000 (12:34 +0100)
commit10e2482a0b04df3729d142f91090aec79e783d13
tree88d536f4b75677ed2fdf32c5bf22ae9aaf772f71
parentcf97bcadd86df7d0e3f3509a467a37cf0fb598c1
tidying
src/bin/otter.rs