-
Notifications
You must be signed in to change notification settings - Fork 12
/
Copy path.gitmodules
21 lines (21 loc) · 788 Bytes
/
.gitmodules
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
[submodule "lib/copilot-c99"]
path = lib/copilot-c99
url = https://github.com/leepike/copilot-c99.git
[submodule "lib/copilot-language"]
path = lib/copilot-language
url = https://github.com/leepike/copilot-language.git
[submodule "lib/copilot-core"]
path = lib/copilot-core
url = https://github.com/leepike/copilot-core.git
[submodule "lib/copilot-libraries"]
path = lib/copilot-libraries
url = https://github.com/leepike/copilot-libraries.git
[submodule "lib/copilot-sbv"]
path = lib/copilot-sbv
url = https://github.com/leepike/copilot-sbv.git
[submodule "lib/copilot-cbmc"]
path = lib/copilot-cbmc
url = https://github.com/leepike/copilot-cbmc.git
[submodule "lib/copilot-discussion"]
path = lib/copilot-discussion
url = https://github.com/leepike/copilot-discussion.git