chiark / gitweb /
wdt-simple: Some whitespace changes
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 Apr 2021 17:03:10 +0000 (18:03 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 Apr 2021 17:03:10 +0000 (18:03 +0100)
commit24f902dd48b7ea363cd3fab16d656f3bed776530
treebca395bdca26bb940263dc2aadbd6a0d1ae70e43
parent4b7e4ca3b08d4a4a60d0b1c1cfc1c08c179a8807
wdt-simple: Some whitespace changes

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