mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2026-04-10 06:13:41 +02:00
Merge pull request #9442 from gilles-peskine-arm/psa_sim_generate-parse_headers
psa_sim_generate.pl: don't copy the headers
This commit is contained in: