-
Ghislain MARY authored
The idea is to be able to build sources from already cloned git submodules instead of getting the sources via the ExternalProjects.
c7fa6a0a
The idea is to be able to build sources from already cloned git submodules instead of getting the sources via the ExternalProjects.