diff browser_side/xmlui.py @ 248:8fdd20399a06

plugin card_game: use the games.py from sat/src/tools/frontends
author souliane <souliane@mailoo.org>
date Wed, 23 Oct 2013 18:32:01 +0200
parents fe83837d3491
children e4f586fc6101
line wrap: on
line diff