Thomas Daubney 356309f462 Restore config option
Restore previously removed option but with a more
relevant name.

Signed-off-by: Thomas Daubney <thomas.daubney@arm.com>
2024-07-12 16:15:55 +01:00
..
2024-04-12 12:40:01 +02:00
2023-11-03 12:21:36 +00:00
2023-11-03 12:21:36 +00:00
2024-07-12 16:15:55 +01:00
2024-07-12 16:15:04 +01:00
2024-06-20 17:12:51 +02:00
2024-07-10 08:07:38 +02:00
2023-11-03 12:21:36 +00:00
2023-11-03 12:21:36 +00:00
2024-07-10 08:10:40 +02:00
2023-11-03 12:21:36 +00:00