Remove Firedrake submodule.

dynamicslab · Jan 8, 2025 · 325d861 · 325d861
1 parent 8698bf0
commit 325d861
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git 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