chiark / gitweb /
work around rustc message lossage
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 15 Aug 2020 10:16:50 +0000 (11:16 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 15 Aug 2020 10:17:07 +0000 (11:17 +0100)
commit64e19190449d5ad0cd6ce7a12519e31cd345ae30
tree0364609fa17e9c0597395b5ca8a6c4bb702e239e
parentff9cd851efb453ffa85e150a3dbf634dafd88c01
work around rustc message lossage
src/bin/otter.rs