mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2026-03-24 05:01:11 +01:00
Since generated files are no longer stored in the repository, they don't need to be up-to-date before committing. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>