Change the colours of old players slightly to work around the bug meaning they don...
commitb95cbbffc8170e0850e11e79d43417b7ab511246
authorAndy Balaam <andybalaam@artificialworlds.net>
Thu, 28 Aug 2008 10:43:29 +0000 (28 11:43 +0100)
committerAndy Balaam <andybalaam@artificialworlds.net>
Thu, 28 Aug 2008 10:43:29 +0000 (28 11:43 +0100)
treedf407fb35a095dff17291b428f534277de7e7262
parent50abbcff68b86e01cb4117570e3d115f58d7b593
Change the colours of old players slightly to work around the bug meaning they don't get dimmed if they are the same colour as a living player.
players/PeteZeroZeroOnePlayer.py
players/WallFollowerPlayer.py