Try Rubi as a git submodule (#1179)

Thoughts about doing this? @aravindh-krishnamoorthy ? Co-authored-by: Juan Mauricio Matera <[email protected]>
Mathics3 · Dec 20, 2024 · 3706cad · 3706cad
1 parent b0053a3
commit 3706cad
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,6 @@
 [submodule "mathics/packages/Combinatorica-repo"]
 	path = mathics/packages/Combinatorica-repo
 	url = https://github.com/Mathics3/Mathics3-Combinatorica.git
+[submodule "mathics/packages/Mathics3-Rubi"]
+	path = mathics/packages/Mathics3-Rubi
+	url = [email protected]:Mathics3/Mathics3-Rubi.git