diff options
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 6ba013ad07..86bb8323cb 100644 --- a/.gitmodules +++ b/.gitmodules @@ -86,3 +86,7 @@ path = libs/test url = ../test.git fetchRecurseSubmodules = on-demand +[submodule "pool"] + path = libs/pool + url = ../pool.git + fetchRecurseSubmodules = on-demand |