|
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 |
|
makeWindows
|
Makefile :(
|
2017-10-27 17:58:55 +02:00 |
