MaurizioBruetsch ff624e3bff Merge branch '6-colorize-output-with-jansi' into mauriAI		2017-10-21 13:10:16 +02:00
..
game	Merge branch '6-colorize-output-with-jansi' into mauriAI	2017-10-21 13:10:16 +02:00
player	fixed bug in AI	2017-10-21 12:07:07 +02:00