From d3bb01e14fd588d3936d64aaedfce307353666ca Mon Sep 17 00:00:00 2001 From: seL4 CI Date: Tue, 13 Aug 2024 08:35:41 +0000 Subject: [PATCH] Updating default.xml Change-Id: I5b5309901986fbbd55cef0aba9496581f9ad3240 --- default.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/default.xml b/default.xml index 4c2e01b..1cb4b13 100644 --- a/default.xml +++ b/default.xml @@ -15,13 +15,13 @@ - + - +