diff options
author | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:31:13 +0300 |
---|---|---|
committer | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:31:13 +0300 |
commit | 6803cb5c771814a33f58fad152ac6e4666d5686a (patch) | |
tree | 73818375308ab723c9fee63609e20e145580b10c | |
parent | 32e3fafd420534b1544b0266bba9ae7b83de8473 (diff) | |
download | boost-6803cb5c771814a33f58fad152ac6e4666d5686a.tar.gz |
Move module proto
-rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index d91f91aca9..6959a98735 100644 --- a/.gitmodules +++ b/.gitmodules @@ -298,6 +298,10 @@ path = libs/pool url = ../pool.git fetchRecurseSubmodules = on-demand +[submodule "proto"] + path = libs/proto + url = ../proto.git + fetchRecurseSubmodules = on-demand [submodule "local_function"] path = libs/local_function url = ../local_function.git @@ -402,10 +406,6 @@ path = libs/predef url = ../predef.git fetchRecurseSubmodules = on-demand -[submodule "proto"] - path = libs/proto - url = ../proto.git - fetchRecurseSubmodules = on-demand [submodule "ratio"] path = libs/ratio url = ../ratio.git |