mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2026-11-03 14:22:50 +00:00
It is clearer to have this option next to the GENERATE_LATEX option. Signed-off-by: David Horstmann <[email protected]>
It is clearer to have this option next to the GENERATE_LATEX option. Signed-off-by: David Horstmann <[email protected]>