diff options
-rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index 32c9a0e3ee..b9f3efd0be 100644 --- a/.gitmodules +++ b/.gitmodules @@ -330,10 +330,6 @@ path = tools/litre url = ../litre.git fetchRecurseSubmodules = on-demand -[submodule "local_function"] - path = libs/local_function - url = ../local_function.git - fetchRecurseSubmodules = on-demand [submodule "circular_buffer"] path = libs/circular_buffer url = ../circular_buffer.git @@ -342,6 +338,10 @@ path = libs/mpi url = ../mpi.git fetchRecurseSubmodules = on-demand +[submodule "local_function"] + path = libs/local_function + url = ../local_function.git + fetchRecurseSubmodules = on-demand [submodule "coroutine"] path = libs/coroutine url = ../coroutine.git |