MaurizioBruetsch 5605076dbf Merge remote-tracking branch 'origin/master' into mauriAI		2017-10-25 14:21:59 +02:00
lib	Added jansi, working colorization	2017-10-20 14:50:43 +02:00
src	Merge remote-tracking branch 'origin/master' into mauriAI	2017-10-25 14:21:59 +02:00
.gitignore	Redoing players in the game.	2017-10-15 13:12:31 +02:00
Makefile	Merge remote-tracking branch 'origin/master' into mauriAI	2017-10-25 14:21:59 +02:00