From 4e42e8fd00ea26207c9a7ec701c2214fbcb1b813 Mon Sep 17 00:00:00 2001
From: PJ568 <PJ568@PJ568.eu.org>
Date: Tue, 27 Jun 2023 22:01:16 +0800
Subject: [PATCH] add ide submodule

---
 .gitmodules | 4 ++++
 tools/ide   | 1 +
 2 files changed, 5 insertions(+)
 create mode 160000 tools/ide

diff --git a/.gitmodules b/.gitmodules
index ee70e872..828d042c 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -10,3 +10,7 @@
 	path = tools/keyboard-mouse-tester
 	url = https://github.com/shawon9324/keyboard-mouse-tester-webApp.git
 	branch = main
+[submodule "tools/ide"]
+	path = tools/ide
+	url = https://github.com/judge0/ide.git
+	branch = master
diff --git a/tools/ide b/tools/ide
new file mode 160000
index 00000000..c073f781
--- /dev/null
+++ b/tools/ide
@@ -0,0 +1 @@
+Subproject commit c073f7815f2a40184136560591e9460ba21cf2e0