chiark / gitweb /
wdt: Provide more otter() methods
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 Jan 2021 20:25:22 +0000 (20:25 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 Jan 2021 20:45:35 +0000 (20:45 +0000)
commita1fc6c9fde2b792b02cf568c1d271a6dbe54f15a
treef339e69b8e3a9333980e4c516726055e80e1cd3d
parent40a79ca50250457152589ffe365aba93fd43f56d
wdt: Provide more otter() methods

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
wdriver.rs
wdriver/wdt-altergame.rs