Maurizio Bruetsch 68ea8df7fe Merge branch '12-bug-fix' into 'master' ... fixed bug 12 and improved output of Human.java Closes #12 See merge request !27		2017-10-23 14:34:19 +02:00
lib	Added jansi, working colorization	2017-10-20 14:50:43 +02:00
src	fixed bug 12 and improved output of Human.java	2017-10-23 14:26:03 +02:00
.gitignore	Redoing players in the game.	2017-10-15 13:12:31 +02:00
Makefile	Merge remote-tracking branch 'origin/master' into 6-colorize-output-with-jansi	2017-10-21 20:33:41 +02:00