From d205a552bf72cdf29b26f78e06ecbef486083697 Mon Sep 17 00:00:00 2001
From: Remy Willems <rwillems@amazon.com>
Date: Thu, 24 Oct 2024 20:30:14 +0200
Subject: [PATCH] Delete submodule

---
 boogie | 1 -
 1 file changed, 1 deletion(-)
 delete mode 160000 boogie

diff --git a/boogie b/boogie
deleted file mode 160000
index 07ae2d8f05..0000000000
--- a/boogie
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 07ae2d8f0584a5a7d0f02a451cbcb564276e0013