mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2026-04-07 12:57:18 +02: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>