chiark / gitweb /
wdriver: Generalise LogIgnoreBefore
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 Apr 2021 16:12:41 +0000 (17:12 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 Apr 2021 16:31:23 +0000 (17:31 +0100)
commit9e16bada6c0c903782f944100c754e05c8c52aec
treecd1840f5702ddb3b3894e91b2fafab8658c21c47
parent76eec97d5003df3989a6cabd3ad517ac1e86a33f
wdriver: Generalise LogIgnoreBefore

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