diff options
| author | Peter Dimov <pdimov@gmail.com> | 2018-10-25 19:47:48 +0300 |
|---|---|---|
| committer | Peter Dimov <pdimov@gmail.com> | 2018-10-25 19:47:48 +0300 |
| commit | 72d5e18fb5f7275873744f806cb93f76a6880641 (patch) | |
| tree | 6061f9b293231469aa4f217b3ced5fc230acf8d7 | |
| parent | bbbd26d224088e96ee428b3d873beeb57afe9484 (diff) | |
| download | boost-72d5e18fb5f7275873744f806cb93f76a6880641.tar.gz | |
Move module interprocess
| -rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index b2929f2f20..d5902b8cc2 100644 --- a/.gitmodules +++ b/.gitmodules @@ -50,6 +50,10 @@ path = libs/log url = ../log.git fetchRecurseSubmodules = on-demand +[submodule "interprocess"] + path = libs/interprocess + url = ../interprocess.git + fetchRecurseSubmodules = on-demand [submodule "format"] path = libs/format url = ../format.git @@ -314,10 +318,6 @@ path = libs/asio url = ../asio.git fetchRecurseSubmodules = on-demand -[submodule "interprocess"] - path = libs/interprocess - url = ../interprocess.git - fetchRecurseSubmodules = on-demand [submodule "mpi"] path = libs/mpi url = ../mpi.git |