From e6ef96e2b181e0ce337f300781bea5f354318828 Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <i.velickovic@unsw.edu.au>
Date: Sat, 17 Feb 2024 15:48:00 +1100
Subject: [PATCH] Remove extra line

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
---
 README.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/README.md b/README.md
index 5f357424..64a80005 100644
--- a/README.md
+++ b/README.md
@@ -96,7 +96,6 @@ https://developer.arm.com/-/media/Files/downloads/gnu/12.2.rel1/binrel/arm-gnu-t
 On macOS Intel/x86-64 the following version is used:
 https://developer.arm.com/-/media/Files/downloads/gnu/12.2.rel1/binrel/arm-gnu-toolchain-12.2.rel1-darwin-x86_64-aarch64-none-elf.tar.xz?rev=09b11f159fc24fdda01e05bb32695dd5&hash=6AAF4239F28AE17389AB3E611DFFE0A6
 
-
 ## seL4 Version
 
 The SDK includes a binary of the seL4 kernel.