diff --git a/.gitmodules b/.gitmodules index 7ee487bb6a..24bf52a686 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,3 @@ -[submodule "deps/legion"] - path = deps/legion - url = https://gitlab.com/StanfordLegion/legion.git [submodule "deps/nccl"] path = deps/nccl url = https://github.com/NVIDIA/nccl.git diff --git a/deps/legion b/deps/legion deleted file mode 160000 index 15b23cf0d9..0000000000 --- a/deps/legion +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 15b23cf0d95f186297f05c76611ddd3e2cbbe9f9