From 325d861f28019c0baf116780a01e34dccc1be9c2 Mon Sep 17 00:00:00 2001
From: Ludger Paehler <ludger.paehler@tum.de>
Date: Wed, 8 Jan 2025 01:30:52 -0800
Subject: [PATCH] Remove Firedrake submodule.

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

diff --git a/.gitmodules b/.gitmodules
index 8818075..e69de29 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +0,0 @@
-[submodule "third_party/firedrake"]
-	path = third_party/firedrake
-	url = https://github.com/firedrakeproject/firedrake
diff --git a/third_party/firedrake b/third_party/firedrake
deleted file mode 160000
index 2209aae..0000000
--- a/third_party/firedrake
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 2209aaeb3b1d4df065525152009b352c52fba0a4