diff options
author | Peter Dimov <pdimov@gmail.com> | 2018-10-25 19:45:10 +0300 |
---|---|---|
committer | Peter Dimov <pdimov@gmail.com> | 2018-10-25 19:45:10 +0300 |
commit | a1d095908b639e4e5cb25b0432a52604295afbe1 (patch) | |
tree | 6ce5fa42257750d885086f7d77ed4d9fc2768040 | |
parent | a10dd3a9caa2a9438cd21ebc00b1692462057e82 (diff) | |
download | boost-a1d095908b639e4e5cb25b0432a52604295afbe1.tar.gz |
Move module functional
-rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index 6ee6dd3c5b..cb24ee6423 100644 --- a/.gitmodules +++ b/.gitmodules @@ -38,6 +38,10 @@ path = libs/tti url = ../tti.git fetchRecurseSubmodules = on-demand +[submodule "functional"] + path = libs/functional + url = ../functional.git + fetchRecurseSubmodules = on-demand [submodule "format"] path = libs/format url = ../format.git @@ -70,10 +74,6 @@ path = libs/timer url = ../timer.git fetchRecurseSubmodules = on-demand -[submodule "functional"] - path = libs/functional - url = ../functional.git - fetchRecurseSubmodules = on-demand [submodule "conversion"] path = libs/conversion url = ../conversion.git |