comparison frontends/src/tools/strings.py @ 825:e3f4d80f987d

plugins room_games, radiocol: better synchronization after a user joins a running game
author souliane <souliane@mailoo.org>
date Wed, 15 Jan 2014 23:01:23 +0100
parents 1fe00f0c9a91
children 429c6a0ef73d
comparison
equal deleted inserted replaced
824:c304ce32042b 825:e3f4d80f987d