Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse code

Public repos for submodules.

  • Loading branch information...
commit e9056c3d68bca75afddbd3220a2440d36d8bc927 1 parent e669ac6
Lee Pike authored

Showing 1 changed file with 7 additions and 7 deletions. Show diff stats Hide diff stats

  1. +7 7 .gitmodules
14 .gitmodules
... ... @@ -1,21 +1,21 @@
1 1 [submodule "lib/copilot-c99"]
2 2 path = lib/copilot-c99
3   - url = git@github.com:leepike/copilot-c99.git
  3 + url = http://github.com:leepike/copilot-c99.git
4 4 [submodule "lib/copilot-language"]
5 5 path = lib/copilot-language
6   - url = git@github.com:leepike/copilot-language.git
  6 + url = http://github.com:leepike/copilot-language.git
7 7 [submodule "lib/copilot-core"]
8 8 path = lib/copilot-core
9   - url = git@github.com:leepike/copilot-core.git
  9 + url = http://github.com:leepike/copilot-core.git
10 10 [submodule "lib/copilot-libraries"]
11 11 path = lib/copilot-libraries
12   - url = git@github.com:leepike/copilot-libraries.git
  12 + url = http://github.com:leepike/copilot-libraries.git
13 13 [submodule "lib/copilot-sbv"]
14 14 path = lib/copilot-sbv
15   - url = git@github.com:leepike/copilot-sbv.git
  15 + url = http://github.com:leepike/copilot-sbv.git
16 16 [submodule "lib/copilot-cbmc"]
17 17 path = lib/copilot-cbmc
18   - url = git@github.com:leepike/copilot-cbmc.git
  18 + url = http://github.com:leepike/copilot-cbmc.git
19 19 [submodule "lib/copilot-discussion"]
20 20 path = lib/copilot-discussion
21   - url = git@github.com:leepike/copilot-discussion.git
  21 + url = http://github.com:leepike/copilot-discussion.git

0 comments on commit e9056c3

Please sign in to comment.
Something went wrong with that request. Please try again.