Move module pool

This commit is contained in:
Peter Dimov 2018-10-25 20:29:33 +03:00
parent 5425ad3fc8
commit 32e3fafd42

8
.gitmodules vendored
View file

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