diff options
author | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:32:32 +0300 |
---|---|---|
committer | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:32:32 +0300 |
commit | 480a8b842b1314cc5fe0f7db5c0e2914264f206e (patch) | |
tree | 75899ef1280e468b5e1ea50e17edad0c216662af | |
parent | 2e0503a1b62552e0a289853a4c3d6f92a0feb1af (diff) | |
download | boost-480a8b842b1314cc5fe0f7db5c0e2914264f206e.tar.gz |
Move module function_types
-rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index d5750ab378..2fca3d193c 100644 --- a/.gitmodules +++ b/.gitmodules @@ -306,6 +306,10 @@ path = libs/fusion url = ../fusion.git fetchRecurseSubmodules = on-demand +[submodule "function_types"] + path = libs/function_types + url = ../function_types.git + fetchRecurseSubmodules = on-demand [submodule "local_function"] path = libs/local_function url = ../local_function.git @@ -314,10 +318,6 @@ path = libs/circular_buffer url = ../circular_buffer.git fetchRecurseSubmodules = on-demand -[submodule "function_types"] - path = libs/function_types - url = ../function_types.git - fetchRecurseSubmodules = on-demand [submodule "litre"] path = tools/litre url = ../litre.git |