commit | 7ec9d44ecdc97778ee47fe84e571c8bef7bc5167 | [log] [download] |
---|---|---|
author | Paul Bakker <pjbakker@users.noreply.github.com> | Thu Jul 23 14:21:23 2015 +0200 |
committer | Paul Bakker <pjbakker@users.noreply.github.com> | Thu Jul 23 14:21:23 2015 +0200 |
tree | 8d81e3a8108be93aa851e325803605afc095f8ee | |
parent | cb0d212c973f3bcd34fd55e1a302e2686706fcd6 [diff] | |
parent | 5597174923c62c9fe1a849fc87f4d1f68594984b [diff] |
Merge pull request #280 from ARMmbed/small-doc-fix Mention which branch to use for patches/PRs