diff 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
line wrap: on
line diff