commit | cc31d4035bb613660ed8cba09401fb265c868ffa | [log] [tgz] |
---|---|---|
author | Jamie Fox <jamie.fox@arm.com> | Mon Jan 28 17:13:52 2019 +0000 |
committer | Antonio de Angelis <antonio.deangelis@arm.com> | Fri Jul 12 10:22:46 2019 +0100 |
tree | 0d4cf3f5835d1aadaf1cbf270b9ca260a4e5214c | |
parent | ba1fa9ad23419edc6738f42fd6796bc3aeb5145e [diff] |
Interface: Rename PSA headers Renames PSA headers from psa_<api>.h to psa/<api>.h. Change-Id: I3fc552c39f9a7e6d54e7a7a2f82f076bd03d30a7 Signed-off-by: Jamie Fox <jamie.fox@arm.com>