From 39a720afa2c771c483388421a340b6f004d78b93 Mon Sep 17 00:00:00 2001 From: Boming Zhang Date: Thu, 2 May 2024 19:07:33 -0400 Subject: [PATCH] chore: rename examples --- .gitmodules | 6 +++--- examples/keyword/{ => cpplint}/sillycode | 0 2 files changed, 3 insertions(+), 3 deletions(-) rename examples/keyword/{ => cpplint}/sillycode (100%) 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