diff options
-rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index d67c4cbc22..6071bedfbd 100644 --- a/.gitmodules +++ b/.gitmodules @@ -238,6 +238,10 @@ path = libs/range url = ../range.git fetchRecurseSubmodules = on-demand +[submodule "rational"] + path = libs/rational + url = ../rational.git + fetchRecurseSubmodules = on-demand [submodule "ublas"] path = libs/numeric/ublas url = ../ublas.git @@ -246,10 +250,6 @@ path = libs/wave url = ../wave.git fetchRecurseSubmodules = on-demand -[submodule "rational"] - path = libs/rational - url = ../rational.git - fetchRecurseSubmodules = on-demand [submodule "type_traits"] path = libs/type_traits url = ../type_traits.git |