chiark / gitweb /
style: Remove space before : in wdriver*
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 1 Feb 2021 00:11:23 +0000 (00:11 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 1 Feb 2021 00:11:23 +0000 (00:11 +0000)
commit0db7bb8b53c92ca537309772ab5271017add2c63
tree370ecb5890bfc87efecf079db70f28270f1e6559
parent8bad1c07ec819cba81658633bdb67dc951456268
style: Remove space before : in wdriver*

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