chiark / gitweb /
delete old stuff
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 10 Aug 2020 19:39:59 +0000 (20:39 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 10 Aug 2020 19:39:59 +0000 (20:39 +0100)
commit64f47f5cd14bbf5c4d08bdc80896381278398b73
treeae3dbc0de2e4de8cfa70b8c2a951c3d18e0e12eb
parentf2fd58d019a047c19f889bc94289edebf5e2da0d
delete old stuff
src/bin/otter.rs