diff --git a/.gitmodules b/.gitmodules index 401bb2b..27501b1 100644 --- a/.gitmodules +++ b/.gitmodules @@ -26,10 +26,6 @@ path = examples/keyword/cpplint/sillycode url = ssh://git@focs.ji.sjtu.edu.cn:2222/JOJ/JOJ3-examples.git branch = keyword/cpplint/sillycode -[submodule "examples/clangtidy/sillycode"] - path = examples/clangtidy/sillycode - url = ssh://git@focs.ji.sjtu.edu.cn:2222/JOJ/JOJ3-examples.git - branch = clangtidy/sillycode [submodule "examples/keyword/clangtidy/sillycode"] path = examples/keyword/clangtidy/sillycode url = ssh://git@focs.ji.sjtu.edu.cn:2222/JOJ/JOJ3-examples.git diff --git a/examples/clangtidy/sillycode b/examples/clangtidy/sillycode deleted file mode 160000 index 54dbb6b..0000000 --- a/examples/clangtidy/sillycode +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 54dbb6b544e77f97d1b72bdd3e6601ce6ab1c3b4