Dave Rodgman 65d8ec1444 Move check into list_files_to_merge
Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>
2023-10-02 17:19:51 +01:00
..
2022-09-18 21:17:09 +02:00
2023-07-27 20:00:41 +01:00
2022-01-06 12:20:48 +01:00
2021-06-28 09:28:33 +01:00