chiark / gitweb /
fix game names
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 18 Nov 2020 22:21:50 +0000 (22:21 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 18 Nov 2020 22:21:50 +0000 (22:21 +0000)
commitb2f3bea6db7a79c2c969a5943100ff113f4d9b9e
tree05e21cab68d2202bd642c03561166361ab484eca
parent431fda3f76a343ce0ec966628a7b661fa9baba0e
fix game names

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/bin/otter.rs