chiark / gitweb /
fix exit status
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 7 Aug 2020 23:45:04 +0000 (00:45 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 7 Aug 2020 23:45:21 +0000 (00:45 +0100)
commitde0fbdda327c95e71289af3ba451f3e392758de6
treec69a3f701e66edf6bf898877a61b62a83a735694
parent614b97e82c2807a1f2bf9b0cf4b75ee257af8fe5
fix exit status
src/bin/otter.rs