mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2026-04-07 12:57:18 +02:00
They can cause specific challenges when debugging, so move them out for maintainers' convenience. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>