Platform docs cleanup#482

Merged

AnotherButler merged 8 commits intoARMmbed:new_enginefrom

theotherjimmy:cleanup-platform

Apr 10, 2018

Commits on Apr 3, 2018

WIP platform docs cleanup
theotherjimmy
committed

Commits on Apr 4, 2018

Commits on Apr 5, 2018

Commits on Apr 9, 2018

Copy edit platform.md
Amanda Butler
authored
Merge branch 'new_engine' into cleanup-platform
Amanda Butler
authored