From: Matteo Nastasi (mop) Date: Thu, 23 Jul 2009 12:17:56 +0000 (+0000) Subject: parametrization of number of players in the list X-Git-Tag: 3.0.0~53 X-Git-Url: https://mop.ddnsfree.com/gitweb/?a=commitdiff_plain;h=0458589e4e0691b0e5678c7a86e1c0e2bdef3ff3;hp=0458589e4e0691b0e5678c7a86e1c0e2bdef3ff3;p=brisk.git parametrization of number of players in the list ---