tree 6b09c4c0d68377888e3a25892a56350d3f3bcf9b
parent db82c58d1b890b6d2265542d76c0cc4bbf20a0c0
author Gilles Peskine <Gilles.Peskine@arm.com> 1610998267 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1610998473 +0100

Small script to update the rendered PSA API specification

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>