From 9107494d9370ad4762cb4ef27cdaff2c1af3d96b Mon Sep 17 00:00:00 2001 From: seL4 CI Date: Mon, 9 Sep 2024 10:13:08 +0000 Subject: [PATCH] Updating default.xml Change-Id: Ieff46fac4706c0a5696dcd7efd11264164128cd6 --- default.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/default.xml b/default.xml index fdf3715..a5cd3d3 100644 --- a/default.xml +++ b/default.xml @@ -15,12 +15,12 @@ - + - +