log src/tools/games.py @ 247:53aa958a2d3d 0.1.1 SàT v0.1.1

age author description
Wed, 05 Jan 2011 18:52:38 +0100 Goffi 2011 copyright upgrade
Tue, 04 Jan 2011 19:30:27 +0100 Goffi files reorganisation base src/sat/tools/games.py@f1972d6ef6b3