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

similarity index 100%
rename from cli/manipgame.rs
rename to cli/forgame.rs
index d7b01e0f3d4b6e8ad1ead0c59309231f9263bc0e..7b8973a8303a58e75c4fef7945e90f8702e81297 100644 (file)
@@ -29,7 +29,7 @@ pub use argparse::action::ParseResult::Parsed;
 pub mod clisupport;
 use clisupport::*;
 
-mod manipgame;
+mod forgame;
 
 #[derive(Debug)]
 enum ServerLocation {