chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fac8e59) | patch
wdt-simple: Use before_gen from sides, for first check
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 Apr 2021 17:00:24 +0000 (18:00 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 Apr 2021 17:00:24 +0000 (18:00 +0100)
commit4b7e4ca3b08d4a4a60d0b1c1cfc1c08c179a8807
tree6d0b28b5c4e221fbdefbab39093717aae4023e1btree | snapshot
parentfac8e596ab3f40f9728c84df53ccf33c2b0beedccommit | diff
wdt-simple: Use before_gen from sides, for first 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.