chiark / gitweb /
wdt: Break out game_spec_path
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 26 Jan 2021 23:05:57 +0000 (23:05 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 26 Jan 2021 23:17:45 +0000 (23:17 +0000)
commitdb331a5cafabfd0c4a68f461904bc368094d0732
tree6b5987bf6b8537d1436b20b14e84aa3e0999a47b
parent8ef19275c5e4550688a0d630b996ece0e0f227ad
wdt: Break out game_spec_path

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