diff options
author | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:20:56 +0300 |
---|---|---|
committer | Peter Dimov <pdimov@gmail.com> | 2018-10-25 20:20:56 +0300 |
commit | 0e7d29d008767d39e77c0df8fc3d0af44ad02349 (patch) | |
tree | 17651163b086048600e7b1a0f516c2edb96c66d7 | |
parent | 4c8be0e51451995081338d0d1e40e107ba35853c (diff) | |
download | boost-0e7d29d008767d39e77c0df8fc3d0af44ad02349.tar.gz |
Move module statechart
-rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index da62a5bc4f..a89af0958b 100644 --- a/.gitmodules +++ b/.gitmodules @@ -226,6 +226,10 @@ path = libs/ptr_container url = ../ptr_container.git fetchRecurseSubmodules = on-demand +[submodule "statechart"] + path = libs/statechart + url = ../statechart.git + fetchRecurseSubmodules = on-demand [submodule "ublas"] path = libs/numeric/ublas url = ../ublas.git @@ -278,10 +282,6 @@ path = libs/range url = ../range.git fetchRecurseSubmodules = on-demand -[submodule "statechart"] - path = libs/statechart - url = ../statechart.git - fetchRecurseSubmodules = on-demand [submodule "interval"] path = libs/numeric/interval url = ../interval.git |