chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b57c00) | patch
wdt-simple: Break out check()
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 Apr 2021 16:37:44 +0000 (17:37 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 Apr 2021 16:37:44 +0000 (17:37 +0100)
commit88f599e04d85d102bbd1723653e3b7c3bdc31f79
tree290d8ab8eef7a5c53ea640d2d183facf97655d9ftree | snapshot
parent6b57c00f52630667d5b1bb2c2f5bc263d0058d67commit | diff
wdt-simple: Break out check()

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.