MaurizioBruetsch fa8ce856f1 AI enhancement		2017-10-22 18:17:49 +02:00
lib	Added jansi, working colorization	2017-10-20 14:50:43 +02:00
src	AI enhancement	2017-10-22 18:17:49 +02:00
.gitignore	Redoing players in the game.	2017-10-15 13:12:31 +02:00
Makefile	Merge branch '6-colorize-output-with-jansi' into mauriAI	2017-10-21 13:10:16 +02:00