chiark / gitweb /
cmdlistener: Plumb a ToPermute through to execute_game_insn
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 14 Mar 2021 22:23:22 +0000 (22:23 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 14 Mar 2021 22:23:22 +0000 (22:23 +0000)
commit16a21754c61e19be6d3a238a32aac958497802fe
tree8e88e06d070444719e125dfc79060315dfd21277
parent790e324e7f5946757fa07bb97455c53224e7337c
cmdlistener: Plumb a ToPermute through to execute_game_insn

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