diff options
| -rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index d5750ab378..2fca3d193c 100644 --- a/.gitmodules +++ b/.gitmodules @@ -306,6 +306,10 @@ path = libs/fusion url = ../fusion.git fetchRecurseSubmodules = on-demand +[submodule "function_types"] + path = libs/function_types + url = ../function_types.git + fetchRecurseSubmodules = on-demand [submodule "local_function"] path = libs/local_function url = ../local_function.git @@ -314,10 +318,6 @@ path = libs/circular_buffer url = ../circular_buffer.git fetchRecurseSubmodules = on-demand -[submodule "function_types"] - path = libs/function_types - url = ../function_types.git - fetchRecurseSubmodules = on-demand [submodule "litre"] path = tools/litre url = ../litre.git |