mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2026-03-20 19:21:09 +01: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>