Maurizio Bruetsch c0db993f39 Merge branch 'maurizio-branch' into 'master' ... Maurizio branch See merge request !10		2017-10-16 20:08:40 +02:00
src	Merge branch 'master' into 'maurizio-branch'	2017-10-16 20:08:24 +02:00
.gitignore	Redoing players in the game.	2017-10-15 13:12:31 +02:00
Makefile	Fixed the issues.	2017-10-16 10:55:48 +02:00