diff options
| author | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:47:29 +0300 |
|---|---|---|
| committer | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:47:29 +0300 |
| commit | 405601e3bf6288621528f467e7a7dd586f9bf3a2 (patch) | |
| tree | 0cd2cf061a4352756fac8acf680c490a07a27de0 | |
| parent | 7ea13968f0de939b3a7cb9f5fab221bcd431cd7d (diff) | |
| download | boost-405601e3bf6288621528f467e7a7dd586f9bf3a2.tar.gz | |
Move module phoenix
| -rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index 8b5de0262b..875b00ec2b 100644 --- a/.gitmodules +++ b/.gitmodules @@ -406,6 +406,10 @@ path = libs/geometry url = ../geometry.git fetchRecurseSubmodules = on-demand +[submodule "phoenix"] + path = libs/phoenix + url = ../phoenix.git + fetchRecurseSubmodules = on-demand [submodule "local_function"] path = libs/local_function url = ../local_function.git @@ -434,10 +438,6 @@ path = libs/type_erasure url = ../type_erasure.git fetchRecurseSubmodules = on-demand -[submodule "phoenix"] - path = libs/phoenix - url = ../phoenix.git - fetchRecurseSubmodules = on-demand [submodule "sync"] path = libs/sync url = ../sync.git |