chiark / gitweb /
Move admin.rs out of otter.rs and forgame.rs
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 2 Jun 2021 23:13:10 +0000 (00:13 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 2 Jun 2021 23:13:10 +0000 (00:13 +0100)
commit50e01f306d5683a66cb0f7fd8177ded4181a8618
treee9cf55d9f72bcbbe91da6a5ec0ab1d533402ebc3
parent418a649cf3c564fcf822cf55d3baf643505cfb37
Move admin.rs out of otter.rs and forgame.rs

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
cli/admin.rs [new file with mode: 0644]
cli/forgame.rs
cli/otter.rs