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