commit | 6852e95c2a955f87e0139e19403b0baccc2cc3d7 | [log] [tgz] |
---|---|---|
author | Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> | Tue Jul 30 17:11:46 2019 +0200 |
committer | GitHub <noreply@github.com> | Tue Jul 30 17:11:46 2019 +0200 |
tree | a9c760acdfa6fdc93a1a09274b7705ea542d87b4 | |
parent | f010eba83348ceb422b17d4dcffb94958819c0ee [diff] | |
parent | 32bbe4a66b2631b2261b72d0fc2f6ed409352da7 [diff] |
Merge pull request #618 from hanno-arm/record_checking_api-baremetal [Baremetal] Record checking: API, Documentation and Stubs