1
0
mirror of https://github.com/ARMmbed/mbedtls.git synced 2025-05-28 17:07:28 +08:00
David Horstmann a8d1406107 Rename DEV_MODE to GEN_FILES
GEN_FILES is a bit clearer as it describes what the setting
does more precisely.

Signed-off-by: David Horstmann <david.horstmann@arm.com>
2021-10-25 13:16:04 +01:00
..
2021-10-25 13:16:04 +01:00