Malte Tammena e09cffbabe Merge branch 'rename-ai' into 'master' ... Changed AI names See merge request !6		2017-10-16 10:46:33 +02:00
src	Changed AI names	2017-10-16 10:43:50 +02:00
.gitignore	Redoing players in the game.	2017-10-15 13:12:31 +02:00
Makefile	Added GameHistory and changed things.	2017-10-15 14:17:48 +02:00