zrho/afp — pull request #130 by jvoigtlaender (2014-03-17 20:18:28+00:00)
Title: the AI should not be allowed to know whether the player is a novice and/or developer

... plus some consequent renames