Merge pull request #528 from beretta42/make2
authorEtchedPixels <alan@etchedpixels.co.uk>
Fri, 20 Oct 2017 14:18:15 +0000 (15:18 +0100)
committerGitHub <noreply@github.com>
Fri, 20 Oct 2017 14:18:15 +0000 (15:18 +0100)
coco3: make different coco3 platforms


Trivial merge