-
Dominic Kempf authored
This is needed for Dune modules that use git submodules to initialized the submodules and potentially even their submodules.
95382a52
This is needed for Dune modules that use git submodules to initialized the submodules and potentially even their submodules.