chiark / gitweb /
wdt: Type alias for GameSpec
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 14 Feb 2021 19:30:46 +0000 (19:30 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 14 Feb 2021 19:30:46 +0000 (19:30 +0000)
commit63715ac3ac2fa2d1dc4750e2b15552f5a5360368
tree07339d498891c4dc595de9d2a30650207ff46530
parentde963715e1b944cb23d0323aa25a9fa826365d0d
wdt: Type alias for GameSpec

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