From 8d8834253515d1f11c508b5e52d7be552ccd3516 Mon Sep 17 00:00:00 2001 From: Peter Dimov Date: Thu, 25 Oct 2018 20:03:00 +0300 Subject: Move module random --- .gitmodules | 8 ++++---- 1 file 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 -- cgit v1.2.1