chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 52e0a44) | patch
wdt: Use new facilities
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 28 Jan 2021 17:10:47 +0000 (17:10 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 28 Jan 2021 17:58:12 +0000 (17:58 +0000)
commitd226530e11709daada889ddfa6d0d40b0971287c
treec3e50ec2e439b05ae98b8e3af16433d6ba728480tree | snapshot
parent52e0a44d140070f24c3f79e4ac3c5ab57486826bcommit | diff
wdt: Use new facilities

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
wdriver/wdt-simple.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.