Maurizio Bruetsch 937ba9663d Merge branch 'fix-make' into 'master' ... Fix make See merge request !33		2017-10-27 18:22:58 +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	makefile	2017-10-27 18:19:43 +02:00
makeWindows	makefile	2017-10-27 18:19:43 +02:00