diff options
| author | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:33:56 +0300 |
|---|---|---|
| committer | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:33:56 +0300 |
| commit | fd05882c479175686794838432ca9ce4a5987bfa (patch) | |
| tree | 43f93b9484fb6d1b13159717cba143b85c54cc95 | |
| parent | ef2523cdce9e2681ca9614da68613b524c4e3398 (diff) | |
| download | boost-fd05882c479175686794838432ca9ce4a5987bfa.tar.gz | |
Move module asio
| -rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index cb022697cd..52aa572789 100644 --- a/.gitmodules +++ b/.gitmodules @@ -318,6 +318,10 @@ path = libs/intrusive url = ../intrusive.git fetchRecurseSubmodules = on-demand +[submodule "asio"] + path = libs/asio + url = ../asio.git + fetchRecurseSubmodules = on-demand [submodule "local_function"] path = libs/local_function url = ../local_function.git @@ -330,10 +334,6 @@ path = tools/litre url = ../litre.git fetchRecurseSubmodules = on-demand -[submodule "asio"] - path = libs/asio - url = ../asio.git - fetchRecurseSubmodules = on-demand [submodule "mpi"] path = libs/mpi url = ../mpi.git |