MaurizioBruetsch 466c41737e Merge branch 'master' into mauriAI		2017-10-21 13:18:51 +02:00
lib	Added jansi, working colorization	2017-10-20 14:50:43 +02:00
src	Merge branch '6-colorize-output-with-jansi' into mauriAI	2017-10-21 13:10:16 +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