chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 16a2175) | patch
cmdlistener: Prepare for an extra return value from execute_game_insn
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 14 Mar 2021 23:12:08 +0000 (23:12 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 14 Mar 2021 23:16:05 +0000 (23:16 +0000)
commit9242e2cedbc6112037d78d158608d65a29f80981
tree7a886e70ecdeb32c3604b4bb81456c51f7c5a18dtree | snapshot
parent16a21754c61e19be6d3a238a32aac958497802fecommit | diff
cmdlistener: Prepare for an extra return value from execute_game_insn

Currently this is Option<Void>

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
daemon/cmdlistener.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.