chiark / gitweb /
rename GPlayer and GPiece
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 27 Feb 2021 13:30:41 +0000 (13:30 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 27 Feb 2021 13:30:41 +0000 (13:30 +0000)
commit6d0450452c3e64efca6fe8bd7856d7b0099fd471
tree93ff73d59ac86d0092b100d884d0667a875a7776
parent2f0fcbfeacafed52396f5e0b714aff444fcda6cd
rename GPlayer and GPiece

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
daemon/api.rs
daemon/cmdlistener.rs
src/bin/otterlib.rs
src/gamestate.rs
src/global.rs
src/hand.rs
src/hidden.rs
src/pieces.rs
src/shapelib.rs
src/spec.rs
src/updates.rs