mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2025-10-20 03:32:32 +03:00
We cannot remove it completely yet. It must remain in config.py so that it is not included in the full configuration. A temporary exception is required for it in analyze_outcomes.py. Signed-off-by: Ronald Cron <ronald.cron@arm.com>