diff options
author | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:45:41 +0300 |
---|---|---|
committer | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:45:41 +0300 |
commit | 664b0b8667c4314f352496db2ef94db5877c8030 (patch) | |
tree | 41612ea0a6d9283af7e69bfc64e6dee314b88bad | |
parent | e351b89ced20bf82d9e798b8691084c4095fe587 (diff) | |
download | boost-664b0b8667c4314f352496db2ef94db5877c8030.tar.gz |
Move module ratio
-rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index f2cc96b3f6..5ed83bb1e3 100644 --- a/.gitmodules +++ b/.gitmodules @@ -394,6 +394,10 @@ path = libs/coroutine2 url = ../coroutine2.git fetchRecurseSubmodules = on-demand +[submodule "ratio"] + path = libs/ratio + url = ../ratio.git + fetchRecurseSubmodules = on-demand [submodule "local_function"] path = libs/local_function url = ../local_function.git @@ -434,10 +438,6 @@ path = libs/phoenix url = ../phoenix.git fetchRecurseSubmodules = on-demand -[submodule "ratio"] - path = libs/ratio - url = ../ratio.git - fetchRecurseSubmodules = on-demand [submodule "sync"] path = libs/sync url = ../sync.git |