removed MPIR submodule [skip ci]

Macaulay2 · Aug 22, 2024 · d258c18 · d258c18
1 parent f4f92e2
commit d258c18
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -10,9 +10,6 @@
 [submodule "M2/submodules/bdwgc"]
 	path = M2/submodules/bdwgc
 	url = https://github.com/Macaulay2/bdwgc.git
-[submodule "M2/submodules/mpir"]
-	path = M2/submodules/mpir
-	url = https://github.com/Macaulay2/mpir.git
 [submodule "M2/submodules/flint"]
 	path = M2/submodules/flint
 	url = https://github.com/Macaulay2/flint2.git

diff --git a/M2/submodules/mpir b/M2/submodules/mpir