Merge pull request diffblue#34 from diffblue/bugfix/missing-gitmodules

smowton · web-flow · commit 3d29980c6f21 · 2017-03-16T11:30:04.000Z
Added missing .gitmodules file
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "cbmc"]
+	path = cbmc
+	url = git@github.com:diffblue/cbmc

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+[submodule "cbmc"]`
	`2`	`+ path = cbmc`
	`3`	`+ url = [email protected]:diffblue/cbmc`