From fdf84546da1847e7679ba2750e56c912c10fcf6a Mon Sep 17 00:00:00 2001
From: zzjc1234 <2359047351@qq.com>
Date: Tue, 10 Sep 2024 18:58:28 +0800
Subject: [PATCH] chore: gitmodules

---
 .gitmodules | 8 ++++++++
 1 file changed, 8 insertions(+)

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