mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2026-05-06 01:44:06 +02:00
This is in keeping with other generated files (such as generated .data files) that are added to releases. Signed-off-by: David Horstmann <david.horstmann@arm.com>