diff --git a/.gitmodules b/.gitmodules index b0d663e188..d557cee15d 100644 --- a/.gitmodules +++ b/.gitmodules @@ -88,11 +88,6 @@ url = ../io.git fetchRecurseSubmodules = on-demand branch = . -[submodule "disjoint_sets"] - path = libs/disjoint_sets - url = ../disjoint_sets.git - fetchRecurseSubmodules = on-demand - branch = . [submodule "units"] path = libs/units url = ../units.git diff --git a/libs/disjoint_sets b/libs/disjoint_sets deleted file mode 160000 index a7a821df51..0000000000 --- a/libs/disjoint_sets +++ /dev/null @@ -1 +0,0 @@ -Subproject commit a7a821df515a2dd450a3b6b05a9ccf330b026777