From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 2 Jun 2021 23:00:25 +0000 (+0100)
Subject: Rename forgame.rs from manipgame.rs
X-Git-Tag: otter-0.7.0~83
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=bfc79f8199ab1d12317562b302a7efb7ed883db5;p=otter.git

Rename forgame.rs from manipgame.rs

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

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