diff .hgignore @ 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 ea6ae7c4b3f0
children a5019e62c3e9
line wrap: on
line diff