summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Dimov <pdimov@gmail.com>2018-10-25 20:36:26 +0300
committerPeter Dimov <pdimov@gmail.com>2018-10-25 20:36:26 +0300
commit84273ea4b1fadef354439feb8d66c9eb54b1e77c (patch)
tree622b96225d88044978ef7f1dddd0648e19cf90b3
parentb8d89d9b8ae806451f0df78bfa1f421145b7e240 (diff)
downloadboost-84273ea4b1fadef354439feb8d66c9eb54b1e77c.tar.gz
Move modules circular_buffer, mpi
-rw-r--r--.gitmodules8
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules
index 32c9a0e3ee..b9f3efd0be 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -330,10 +330,6 @@
path = tools/litre
url = ../litre.git
fetchRecurseSubmodules = on-demand
-[submodule "local_function"]
- path = libs/local_function
- url = ../local_function.git
- fetchRecurseSubmodules = on-demand
[submodule "circular_buffer"]
path = libs/circular_buffer
url = ../circular_buffer.git
@@ -342,6 +338,10 @@
path = libs/mpi
url = ../mpi.git
fetchRecurseSubmodules = on-demand
+[submodule "local_function"]
+ path = libs/local_function
+ url = ../local_function.git
+ fetchRecurseSubmodules = on-demand
[submodule "coroutine"]
path = libs/coroutine
url = ../coroutine.git