From 109d3333419ad2266db58aa71b4a856da2a336b3 Mon Sep 17 00:00:00 2001
From: Pcornat <pcornat@protonmail.com>
Date: Wed, 6 Dec 2023 22:30:25 +0100
Subject: [PATCH] Deleting frozen, useless now.

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

diff --git a/.gitmodules b/.gitmodules
index b12748d..e69de29 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +0,0 @@
-[submodule "external/frozen"]
-	path = external/frozen
-	url = https://github.com/serge-sans-paille/frozen.git
diff --git a/external/frozen b/external/frozen
deleted file mode 160000
index f75fffc..0000000
--- a/external/frozen
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit f75fffcc077e5cda0bf3c87121dca103855d2be5