diff options
author | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:43:48 +0300 |
---|---|---|
committer | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:43:48 +0300 |
commit | 8c0aaf9d420a017aee7460529e736d73163fb8c0 (patch) | |
tree | 98814ca154b87ee00a4d5359e75ce03497f5f317 | |
parent | 1678ac6dffe622ac4ceba8dae7655e1e91d6a51d (diff) | |
download | boost-8c0aaf9d420a017aee7460529e736d73163fb8c0.tar.gz |
Move module heap
-rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index 0cd50294e6..6ca36fbf5d 100644 --- a/.gitmodules +++ b/.gitmodules @@ -382,6 +382,10 @@ path = libs/msm url = ../msm.git fetchRecurseSubmodules = on-demand +[submodule "heap"] + path = libs/heap + url = ../heap.git + fetchRecurseSubmodules = on-demand [submodule "local_function"] path = libs/local_function url = ../local_function.git @@ -398,10 +402,6 @@ path = tools/auto_index url = ../auto_index.git fetchRecurseSubmodules = on-demand -[submodule "heap"] - path = libs/heap - url = ../heap.git - fetchRecurseSubmodules = on-demand [submodule "multiprecision"] path = libs/multiprecision url = ../multiprecision.git |