mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2026-05-05 01:23:39 +02:00
This script was used in the past, but it has since been replaced with other scripts and nowadays it's no more used anywhere. Signed-off-by: Valerio Setti <valerio.setti@nordicsemi.no>