Allow to navigate in game after it's over (undo/play)
authorBenjamin Auder <benjamin.auder@somewhere>
Sat, 8 Dec 2018 01:35:42 +0000 (02:35 +0100)
committerBenjamin Auder <benjamin.auder@somewhere>
Sat, 8 Dec 2018 01:35:42 +0000 (02:35 +0100)

No differences found