[platform] Update doxygen comments#4233
Merged
adbridge merged 13 commits intoARMmbed:masterfrom May 4, 2017
Merged
Commits
Commits on Apr 25, 2017
Commits on Apr 26, 2017
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
