Document that executables using dune-configurator depend on config file - #11964
Open
shym wants to merge 1 commit into
Open
Document that executables using dune-configurator depend on config file#11964shym wants to merge 1 commit into
dune-configurator depend on config file#11964shym wants to merge 1 commit into
