chiark / gitweb /
fix errors
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 9 Aug 2020 22:00:35 +0000 (23:00 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 9 Aug 2020 22:00:35 +0000 (23:00 +0100)
commit15c6114672d256ec61cac7ec7645e9fa58f26ac4
tree16a41a81b4d98655044cb6d7662893bf881df433
parenta2e14427001bdb20030d827beec3c6ea439449bc
fix errors
src/bin/otter.rs