chiark / gitweb /
rename User -> Player
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 27 Jun 2020 01:01:53 +0000 (02:01 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 27 Jun 2020 01:01:53 +0000 (02:01 +0100)
commit3e9f86b8d1395b1e898b1ef299b77473f0d292c9
treedcffaaf5b0ad43212bb31dc9897d9ef33af3b27f
parent2cac3918e79c4296382e8e541b821fe6a5112e28
rename User -> Player
src/gamestate.rs
src/global.rs