Add a --recursive option duneci-install-module
This is needed for Dune modules that use git submodules to initialized the submodules and potentially even their submodules.
Showing
Please register or sign in to comment
This is needed for Dune modules that use git submodules to initialized the submodules and potentially even their submodules.