From 6a0866fab214c4dff3d78b5d496d1fc3c1de8b2b Mon Sep 17 00:00:00 2001 From: seL4 CI Date: Tue, 13 Aug 2024 02:53:25 +0000 Subject: [PATCH] Updating default.xml Change-Id: Iaf1de24582bd6554d2244023bc5271b904c9a82e --- default.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/default.xml b/default.xml index 42cb907..4c2e01b 100644 --- a/default.xml +++ b/default.xml @@ -15,13 +15,13 @@ - + - +