increment game and match counter at the end of a game
[brisk.git] / bin / engine_test.sh
2013-02-20 Matteo Nastasi ... enhanced test.php management and engine_test.sh added