chiark / gitweb /
wdt: new move_pos extension method
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 28 Jan 2021 17:05:06 +0000 (17:05 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 28 Jan 2021 17:58:12 +0000 (17:58 +0000)
commit52e0a44d140070f24c3f79e4ac3c5ab57486826b
tree0c441202af63150965fd6aa9196c8e8b8079479a
parent48fce15d41b9c5f10a29c55a0808b11aa14ef345
wdt: new move_pos extension method

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