From 8be0c5da14c568ee93da899e05075a500fba4cd6 Mon Sep 17 00:00:00 2001
From: "Ricardo (XenGi) Band" <email@ricardo.band>
Date: Mon, 27 Jan 2025 11:06:10 +0100
Subject: [PATCH] remove flex submodule

---
 .gitmodules | 3 ---
 flex        | 1 -
 2 files changed, 4 deletions(-)
 delete mode 160000 flex

diff --git a/.gitmodules b/.gitmodules
index 37e028c..e69de29 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +0,0 @@
-[submodule "flex"]
-	path = flex
-	url = https://github.com/alexandrevicenzi/Flex.git
diff --git a/flex b/flex
deleted file mode 160000
index 7e99f9b..0000000
--- a/flex
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 7e99f9bbe681a5b7edef9748bc6f6ae10f4862a7