|
f8c8945180
|
BUGFIX: wrong use the use of Player::Points
|
2019-12-21 19:34:55 +01:00 |
|
|
bd0e99cc06
|
META: Documentation fixups
|
2019-09-30 20:44:58 +02:00 |
|
|
3a681e97d5
|
NEW FEATURE: Game::getBoard() for getting the board number of the game
|
2019-09-28 21:49:33 +02:00 |
|
|
f143069b08
|
META: Fully translated template.php in dists
|
2019-09-28 10:43:02 +02:00 |
|
|
d4edff4717
|
META: Preparation for next release
|
2019-09-28 00:55:15 +02:00 |
|
|
25c91c5242
|
ENHANCEMENT: The template provides a more usable starting implementation
|
2019-09-28 00:41:40 +02:00 |
|