mirror da https://github.com/LemmaSoftware/Lemma.git
6 anni fa · 8b872f5558
--- a/.gitmodules
+++ b/.gitmodules
@@ -0,0 +1,3 @@
 
				
				+[submodule "external/eigen"]
			
 
				
				+	path = external/eigen
			
 
				
				+	url = https://github.com/eigenteam/eigen-git-mirror.git
			
--- a/external/eigen
+++ b/external/eigen
@@ -0,0 +1 @@
 
				
				+Subproject commit d58f73408e2b31dcb4244001df551b71f2aa96b6
		`@@ -0,0 +1 @@`
	1	`+Subproject commit d58f73408e2b31dcb4244001df551b71f2aa96b6`