Remove submodule disjoint_sets

This commit is contained in:
Peter Dimov 2019-05-02 21:01:36 +03:00
parent 942724e525
commit 483896348e
2 changed files with 0 additions and 6 deletions

5
.gitmodules vendored
View file

@ -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

@ -1 +0,0 @@
Subproject commit a7a821df515a2dd450a3b6b05a9ccf330b026777