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
2021-08-05 15:23:00 +02:00
2021-06-28 09:24:07 +01:00
2021-06-28 09:24:07 +01:00