tree ca3b9337fe79331ac6a6966251cbf42633675d0b
parent f032c9842db9b30e529a19770086e2fec40ea09d
author Dave Rodgman <dave.rodgman@arm.com> 1688037045 +0100
committer Dave Rodgman <dave.rodgman@arm.com> 1688037045 +0100

Nicer formatting

Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>