diff options
author | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:41:26 +0300 |
---|---|---|
committer | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:41:26 +0300 |
commit | ad0677eb2b9ab91d218836a64fd60937b862aab1 (patch) | |
tree | 62b7ed17e2d1d24ab578819e2a07046fd249e38d | |
parent | 05708039d7e39473ce74faf6336ce9698ad1abf6 (diff) | |
download | boost-ad0677eb2b9ab91d218836a64fd60937b862aab1.tar.gz |
Move module predef
-rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index cbfadc71ff..55fd8d6cd1 100644 --- a/.gitmodules +++ b/.gitmodules @@ -366,6 +366,10 @@ path = libs/icl url = ../icl.git fetchRecurseSubmodules = on-demand +[submodule "predef"] + path = libs/predef + url = ../predef.git + fetchRecurseSubmodules = on-demand [submodule "local_function"] path = libs/local_function url = ../local_function.git @@ -422,10 +426,6 @@ path = libs/polygon url = ../polygon.git fetchRecurseSubmodules = on-demand -[submodule "predef"] - path = libs/predef - url = ../predef.git - fetchRecurseSubmodules = on-demand [submodule "ratio"] path = libs/ratio url = ../ratio.git |