David Horstmann 64827e4611 Change print to print_err for an error message
Signed-off-by: David Horstmann <david.horstmann@arm.com>
2023-01-24 18:43:12 +00:00
..
2023-01-11 14:52:35 +01:00
2022-10-14 15:34:06 +02:00
2022-10-14 15:34:06 +02:00
2022-04-15 09:33:29 +02:00