From 32e3fafd420534b1544b0266bba9ae7b83de8473 Mon Sep 17 00:00:00 2001 From: Peter Dimov Date: Thu, 25 Oct 2018 20:29:33 +0300 Subject: Move module pool --- .gitmodules | 8 ++++---- 1 file 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 -- cgit v1.2.1