Slightly improve rules 'end of game' sections
authorBenjamin Auder <benjamin.auder@somewhere>
Mon, 24 Feb 2020 17:25:50 +0000 (18:25 +0100)
committerBenjamin Auder <benjamin.auder@somewhere>
Mon, 24 Feb 2020 17:25:50 +0000 (18:25 +0100)

No differences found