Permalink
Browse files

Add other copilot libraries as Git submodules.

  • Loading branch information...
1 parent 64733ee commit cc2966a6016eb56d80bad171991c1023f5c26289 @leepike committed Jun 7, 2012
Showing with 28 additions and 0 deletions.
  1. +21 −0 .gitmodules
  2. +1 −0 lib/copilot-c99
  3. +1 −0 lib/copilot-cbmc
  4. +1 −0 lib/copilot-core
  5. +1 −0 lib/copilot-discussion
  6. +1 −0 lib/copilot-language
  7. +1 −0 lib/copilot-libraries
  8. +1 −0 lib/copilot-sbv
View
@@ -0,0 +1,21 @@
+[submodule "lib/copilot-c99"]
+ path = lib/copilot-c99
+ url = git@github.com:leepike/copilot-c99.git
+[submodule "lib/copilot-language"]
+ path = lib/copilot-language
+ url = git@github.com:leepike/copilot-language.git
+[submodule "lib/copilot-core"]
+ path = lib/copilot-core
+ url = git@github.com:leepike/copilot-core.git
+[submodule "lib/copilot-libraries"]
+ path = lib/copilot-libraries
+ url = git@github.com:leepike/copilot-libraries.git
+[submodule "lib/copilot-sbv"]
+ path = lib/copilot-sbv
+ url = git@github.com:leepike/copilot-sbv.git
+[submodule "lib/copilot-cbmc"]
+ path = lib/copilot-cbmc
+ url = git@github.com:leepike/copilot-cbmc.git
+[submodule "lib/copilot-discussion"]
+ path = lib/copilot-discussion
+ url = git@github.com:leepike/copilot-discussion.git
Submodule copilot-c99 added at d71759
Submodule copilot-cbmc added at cf6c67
Submodule copilot-core added at b03eae
Submodule copilot-discussion added at 286583
Submodule copilot-language added at c3b72a
Submodule copilot-libraries added at 564a11
Submodule copilot-sbv added at f1d887

0 comments on commit cc2966a

Please sign in to comment.