chiark / gitweb /
pin flag, propagate
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 2 Oct 2020 23:17:16 +0000 (00:17 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 2 Oct 2020 23:17:16 +0000 (00:17 +0100)
commit9cd9caee58d2965de41e828b1c1301cdf77b5c30
treeec3258e3aca3e30d8fccee8ae802df23b24e9aae
parent337a4c41724e9584729b574ea66cd7d36e033e24
pin flag, propagate

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