chiark / gitweb /
Rename forgame.rs from manipgame.rs
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 2 Jun 2021 23:00:25 +0000 (00:00 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 2 Jun 2021 23:04:17 +0000 (00:04 +0100)
commitbfc79f8199ab1d12317562b302a7efb7ed883db5
treeff4dec2335c73bc32e8c7d7b7416b9edf6cd11a2
parentcfb30d6d6e277f96b6a11b2996802985f30f62e7
Rename forgame.rs from manipgame.rs

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
cli/forgame.rs [moved from cli/manipgame.rs with 100% similarity]
cli/otter.rs