chiark / gitweb /
delete obsolete code
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 23 Nov 2020 00:08:29 +0000 (00:08 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 23 Nov 2020 00:08:29 +0000 (00:08 +0000)
commit1c268f3603f4444ee36752414b8c5281f298f5f3
treeb78d7a6bc4f6a3f11cbce2d3492aac7ee2112e07
parentb40331e754926c85749a9a9365501a594cee3b0f
delete obsolete code

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