From a84fab2481c0c199755745cb175855fa181405e8 Mon Sep 17 00:00:00 2001 From: seL4 CI Date: Thu, 22 Feb 2024 21:00:55 +0000 Subject: [PATCH] Updating default.xml Change-Id: I1f8e8b11c976f6d8a49c6c189324569e3110d526 --- default.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/default.xml b/default.xml index 4ed13f2..4462227 100644 --- a/default.xml +++ b/default.xml @@ -15,12 +15,12 @@ - + - +