diff --git a/.gitmodules b/.gitmodules index 5691987..0582607 100644 --- a/.gitmodules +++ b/.gitmodules @@ -18,7 +18,7 @@ path = examples/dummy/error url = ssh://git@focs.ji.sjtu.edu.cn:2222/FOCS-dev/JOJ3-examples.git branch = dummy/error -[submodule "examples/keyword/sillycode"] - path = examples/keyword/sillycode +[submodule "examples/keyword/cpplint/sillycode"] + path = examples/keyword/cpplint/sillycode url = ssh://git@focs.ji.sjtu.edu.cn:2222/FOCS-dev/JOJ3-examples.git - branch = keyword/sillycode + branch = keyword/cpplint/sillycode diff --git a/examples/keyword/sillycode b/examples/keyword/cpplint/sillycode similarity index 100% rename from examples/keyword/sillycode rename to examples/keyword/cpplint/sillycode