chiark / gitweb /
fix error and default and socket and things
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 23 Aug 2020 21:45:59 +0000 (22:45 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 23 Aug 2020 21:45:59 +0000 (22:45 +0100)
commit03a97a38bbd6a71bb6ffc6e97516e2458c3415f2
tree4191e8d1515e40a7a90228cc5cf853185dfe2da5
parentbb47799a1e825cb323def47bdad4236b147dd9ca
fix error and default and socket and things
src/bin/otter.rs
src/global.rs