From 6c576a433f340db5932db9a124d76a867b8ff1c9 Mon Sep 17 00:00:00 2001 From: seL4 CI Date: Tue, 4 Feb 2025 05:52:19 +0000 Subject: [PATCH] Updating default.xml Change-Id: I5ee73b449b8553645080b4aaecd829cec17727f0 --- default.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/default.xml b/default.xml index ea8022b..c6bf542 100644 --- a/default.xml +++ b/default.xml @@ -15,13 +15,13 @@ - + - +