diff browser_side/richtext.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 d4e73d9140af
children 28d3315a8003
line wrap: on
line diff