diff options
| author | Peter Dimov <pdimov@gmail.com> | 2018-10-25 19:54:15 +0300 |
|---|---|---|
| committer | Peter Dimov <pdimov@gmail.com> | 2018-10-25 19:54:15 +0300 |
| commit | d946a33750fc0fa74a739fe78084e365a5ef4896 (patch) | |
| tree | 5c719ab6173107d99c90a83fe041cb1b0c255e80 | |
| parent | 3cc02ba6e6155b800a591f0611f1df11e3289629 (diff) | |
| download | boost-d946a33750fc0fa74a739fe78084e365a5ef4896.tar.gz | |
Move module disjoint_sets
| -rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index 8be628a7cc..0f4366bdcd 100644 --- a/.gitmodules +++ b/.gitmodules @@ -70,6 +70,10 @@ path = libs/io url = ../io.git fetchRecurseSubmodules = on-demand +[submodule "disjoint_sets"] + path = libs/disjoint_sets + url = ../disjoint_sets.git + fetchRecurseSubmodules = on-demand [submodule "format"] path = libs/format url = ../format.git @@ -138,10 +142,6 @@ path = libs/detail url = ../detail.git fetchRecurseSubmodules = on-demand -[submodule "disjoint_sets"] - path = libs/disjoint_sets - url = ../disjoint_sets.git - fetchRecurseSubmodules = on-demand [submodule "property_map"] path = libs/property_map url = ../property_map.git |