chiark / gitweb /
optional join for reset, for revert
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 18 Nov 2020 20:43:50 +0000 (20:43 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 18 Nov 2020 20:43:50 +0000 (20:43 +0000)
commite212270ec6423f2c11574d70cac0f09ec3873c70
tree806a77edb1826276b968c8eddad2020df9db11e4
parentf6382a58717c89ce6773e698d45c68b0ac518f35
optional join for reset, for revert

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