Added missing .gitmodules file

NathanJPhillips · NathanJPhillips · commit 1930dff8926b · 2017-03-16T10:38:33.000Z
Without this recursive clones won't work
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`