diff frontends/src/tools/games.py @ 2142:be96beb7ca14

core, bridge, frontends: renamed asyncConnect to connect, and added options parameters (not used yet)
author Goffi <goffi@goffi.org>
date Mon, 06 Feb 2017 22:54:43 +0100
parents 2daf7b4c6756
children 8b37a62336c3
line wrap: on
line diff