comparison frontends/src/tools/games.py @ 1918:01d56efd488b

jp: fixed traceback shown on a normal quit when a progression is finished
author Goffi <goffi@goffi.org>
date Mon, 21 Mar 2016 19:44:16 +0100
parents d17772b0fe22
children 2daf7b4c6756
comparison
equal deleted inserted replaced
1917:05a5a125a238 1918:01d56efd488b