JOJ/JOJ3
24
5
Fork 0
Code Issues 5 Pull Requests Actions Packages Projects Releases Wiki Activity

chore: gitmodules

Browse Source
This commit is contained in:
zzjc1234 2024-09-10 18:58:28 +08:00 committed by Boming Zhang
parent 1d90d72978
commit fdf84546da
Signed by: 张泊明518370910136
GPG Key ID: D47306D7062CDA9D
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.gitmodules vendored
View File

@ -1,3 +1,11 @@
[submodule "examples/diff/basic"]
path = examples/diff/basic
url = ssh://git@focs.ji.sjtu.edu.cn:2222/FOCS-dev/JOJ3-examples.git
branch = diff/basic
[submodule "examples/diff/complex"]
path = examples/diff/complex
url = ssh://git@focs.ji.sjtu.edu.cn:2222/FOCS-dev/JOJ3-examples.git
branch = diff/complex
[submodule "examples/cpplint/sillycode"]
path = examples/cpplint/sillycode
url = ssh://git@focs.ji.sjtu.edu.cn:2222/FOCS-dev/JOJ3-examples.git