Allow dune subst
to work inside a subfolder of a Git repository
#11760
Loading
8000
dune subst
to work inside a subfolder of a Git repository
#11760