comparison frontends/src/tools/games.py @ 935:5b2d2f1f05d0

memory: bug fix the current local_dir after sat.conf is auto-updated
author souliane <souliane@mailoo.org>
date Mon, 24 Mar 2014 16:43:08 +0100
parents 1fe00f0c9a91
children da2ea16fabc6
comparison
equal deleted inserted replaced
934:34dd9287dfe5 935:5b2d2f1f05d0