addind coin-or-Tools/ThirdParty-Mumps.git submodule

coin-or · Aug 24, 2022 · 14237b9 · 14237b9
1 parent b79d8a8
commit 14237b9
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "external/ThirdParty-Mumps"]
+	path = external/ThirdParty-Mumps
+	url = git@github.com:coin-or-tools/ThirdParty-Mumps.git
diff --git a/external/ThirdParty-Mumps b/external/ThirdParty-Mumps