diff options
| author | Peter Dimov <pdimov@gmail.com> | 2019-05-02 21:01:36 +0300 |
|---|---|---|
| committer | Peter Dimov <pdimov@gmail.com> | 2019-12-17 19:27:30 +0200 |
| commit | 483896348e967a2b9dc0eb5d020af5a273ac6a3a (patch) | |
| tree | ed9355d1d04ef6aa8e2e8da432907b93ba5fa375 /.gitmodules | |
| parent | 942724e525b6ad1ae14121b42a01d77ab25540ef (diff) | |
| download | boost-483896348e967a2b9dc0eb5d020af5a273ac6a3a.tar.gz | |
Remove submodule disjoint_sets
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 5 |
1 files changed, 0 insertions, 5 deletions
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 |