opencobra
diff --git a/‎.gitmodules‎
Lines changed: 3 additions & 0 deletions b/‎.gitmodules‎
Lines changed: 3 additions & 0 deletions
diff --git a/‎external/rdir‎ b/‎external/rdir‎
diff --git a/‎external/rdir/enhanced_rdir.m‎
Lines changed: 0 additions & 65 deletions b/‎external/rdir/enhanced_rdir.m‎
Lines changed: 0 additions & 65 deletions
diff --git a/‎external/rdir/license.txt‎
Lines changed: 0 additions & 25 deletions b/‎external/rdir/license.txt‎
Lines changed: 0 additions & 25 deletions
@@ -0,0 +1,3 @@
+[submodule "external/rdir"]
+	path = external/rdir
+	url = https://github.com/uni-lu/rdir.git
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+[submodule "external/rdir"]`
	`2`	`+ path = external/rdir`
	`3`	`+ url = https://github.com/uni-lu/rdir.git`