chiark / gitweb /
wdt: Tidy up new facilities
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 28 Jan 2021 17:37:32 +0000 (17:37 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 28 Jan 2021 17:58:12 +0000 (17:58 +0000)
commitee2d4c67aabb18b3e37ba98e686c98f4cd5f1d22
treed0dc6000415853c0b76ae94e7fe996dbd8a3739f
parentd226530e11709daada889ddfa6d0d40b0971287c
wdt: Tidy up new facilities

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