Maurizio Bruetsch a9095ed38a Merge branch 'mauriAI' into 'master' ... mauriAI See merge request !22		2017-10-20 22:10:32 +02:00
src	bug fixing	2017-10-20 22:05:39 +02:00
.gitignore	Redoing players in the game.	2017-10-15 13:12:31 +02:00
Makefile	changed name of Makefile, because of Bill Gates	2017-10-20 21:49:05 +02:00