added stopping game (with request dialog) if network player disconnected
authorHolger Schemel <info@artsoft.org>
Sun, 1 Jul 2018 11:04:25 +0000 (13:04 +0200)
committerHolger Schemel <info@artsoft.org>
Sun, 1 Jul 2018 11:04:25 +0000 (13:04 +0200)

No differences found