Maurizio Bruetsch f2359321cc Merge branch 'mauriAI' into 'master' ... mauriAI See merge request !26		2017-10-27 17:38:34 +02:00
lib	Added jansi, working colorization	2017-10-20 14:50:43 +02:00
src	Merge branch 'mauriAI' into 'master'	2017-10-27 17:38:34 +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