Merge pull request #5961 from mikeller/replace_pointy_includes
commit0b8709df29b173261b79d799708fbfcb13b7748a
authorMichael Keller <github@ike.ch>
Thu, 24 May 2018 22:44:07 +0000 (25 10:44 +1200)
committerGitHub <noreply@github.com>
Thu, 24 May 2018 22:44:07 +0000 (25 10:44 +1200)
treeb8980ac83b9ced4770a14910c86e69489802f130
parent71a1a9789a205e7e78d7d56b3d0aa99fa20a6e8f
parent2feae20c3233d7b7dd062db9e0fb5c5418a28caf
Merge pull request #5961 from mikeller/replace_pointy_includes

Replaced occurrences of '#include <platform.h>' with '#include "platform.h"'.