diff --git a/.gitmodules b/.gitmodules index 4c093ae..9261291 100644 --- a/.gitmodules +++ b/.gitmodules @@ -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