From 8a87bd02edcebe489d6561d8b85b941ca79fdb29 Mon Sep 17 00:00:00 2001 From: seL4 CI Date: Thu, 11 Jan 2024 22:47:17 +0000 Subject: [PATCH] Updating default.xml Change-Id: I1c637eddcc3ecb4bedab55578b3b811ec3e2fa93 --- default.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/default.xml b/default.xml index 68dc003..686fbeb 100644 --- a/default.xml +++ b/default.xml @@ -15,12 +15,12 @@ - + - +