Merge pull request #1831 from rubenk/ai_hints-cleanup
authorRuben Kerkhof <ruben@rubenkerkhof.com>
Wed, 3 Aug 2016 08:06:55 +0000 (10:06 +0200)
committerGitHub <noreply@github.com>
Wed, 3 Aug 2016 08:06:55 +0000 (10:06 +0200)
commitcd5c60931ef73c6c34be6dcf58538b069be17c58
tree73d4d68d260abb3732231044727a11b282c268c9
parent28f8935c3518a0faad0c1d7ef51f89abd1b50da8
parent71bbf854d3e6f8c6d6c3582527263bb01a3a7e04
Merge pull request #1831 from rubenk/ai_hints-cleanup

Ai hints cleanup