chiark / gitweb /
fix
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 23 Aug 2020 20:04:39 +0000 (21:04 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 23 Aug 2020 20:04:39 +0000 (21:04 +0100)
commit04a4bb37ed9ff66ad647133e9540a08653ee00c4
treedc01d13de0eb8050a34e13ba84df053c81e9419e
parent44e2b3b50deb47e5dda8a8935b82a1c03881a3d9
fix
src/bin/otter.rs