chiark / gitweb /
Rename pto back to p
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 28 Feb 2021 16:10:01 +0000 (16:10 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 28 Feb 2021 16:10:01 +0000 (16:10 +0000)
commitf8e72bf5bbd781f54b2ff15306dac0b36e77a7fe
treee74e4d8d5c1cb4f3f596fdeac3c38ea5fa731322
parentde9026128f8e2ba89940f539f58f1c68bc895653
Rename pto back to p

I'm finding the new name ugly

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
daemon/cmdlistener.rs
daemon/session.rs
src/gamestate.rs
src/updates.rs