diff options
| author | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:03:00 +0300 |
|---|---|---|
| committer | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:03:00 +0300 |
| commit | 8d8834253515d1f11c508b5e52d7be552ccd3516 (patch) | |
| tree | 6c59a2fb21021be3d0b4192bd4f43cfed991cb03 | |
| parent | c38820363a2ccbe68211127539e81385675f4534 (diff) | |
| download | boost-8d8834253515d1f11c508b5e52d7be552ccd3516.tar.gz | |
Move module random
| -rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index 67d01dcfa2..0f1a6e70ea 100644 --- a/.gitmodules +++ b/.gitmodules @@ -122,6 +122,10 @@ path = libs/crc url = ../crc.git fetchRecurseSubmodules = on-demand +[submodule "random"] + path = libs/random + url = ../random.git + fetchRecurseSubmodules = on-demand [submodule "ublas"] path = libs/numeric/ublas url = ../ublas.git @@ -130,10 +134,6 @@ path = libs/wave url = ../wave.git fetchRecurseSubmodules = on-demand -[submodule "random"] - path = libs/random - url = ../random.git - fetchRecurseSubmodules = on-demand [submodule "utility"] path = libs/utility url = ../utility.git |