diff options
author | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:29:33 +0300 |
---|---|---|
committer | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:29:33 +0300 |
commit | 32e3fafd420534b1544b0266bba9ae7b83de8473 (patch) | |
tree | bfc7bc7ab8977ff291d6d736e3ca1a239fe3f090 | |
parent | 5425ad3fc8059af0122d91e9b26bfbd7b4821a91 (diff) | |
download | boost-32e3fafd420534b1544b0266bba9ae7b83de8473.tar.gz |
Move module pool
-rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index d865712aab..d91f91aca9 100644 --- a/.gitmodules +++ b/.gitmodules @@ -286,10 +286,6 @@ path = libs/type_traits url = ../type_traits.git fetchRecurseSubmodules = on-demand -[submodule "pool"] - path = libs/pool - url = ../pool.git - fetchRecurseSubmodules = on-demand [submodule "compatibility"] path = libs/compatibility url = ../compatibility.git @@ -298,6 +294,10 @@ path = libs/bind url = ../bind.git fetchRecurseSubmodules = on-demand +[submodule "pool"] + path = libs/pool + url = ../pool.git + fetchRecurseSubmodules = on-demand [submodule "local_function"] path = libs/local_function url = ../local_function.git |