diff options
author | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:35:39 +0300 |
---|---|---|
committer | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:35:39 +0300 |
commit | b8d89d9b8ae806451f0df78bfa1f421145b7e240 (patch) | |
tree | 208b8feeab1e23592d250b3d98fae9a12eb69a8f | |
parent | 162c1b70ceda0652c35ffa59ff92ba9a86f5cadf (diff) | |
download | boost-b8d89d9b8ae806451f0df78bfa1f421145b7e240.tar.gz |
Move module litre
-rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index 44d4d763cb..32c9a0e3ee 100644 --- a/.gitmodules +++ b/.gitmodules @@ -326,6 +326,10 @@ path = libs/uuid url = ../uuid.git fetchRecurseSubmodules = on-demand +[submodule "litre"] + path = tools/litre + url = ../litre.git + fetchRecurseSubmodules = on-demand [submodule "local_function"] path = libs/local_function url = ../local_function.git @@ -334,10 +338,6 @@ path = libs/circular_buffer url = ../circular_buffer.git fetchRecurseSubmodules = on-demand -[submodule "litre"] - path = tools/litre - url = ../litre.git - fetchRecurseSubmodules = on-demand [submodule "mpi"] path = libs/mpi url = ../mpi.git |