hughperkins/HughAI — pull request #1 by abma (2013-10-02 14:50:02+00:00)
Title: merge pureint into master / fix compile for recent engine change

the pureint branch can be deleted afterwards!