config stanzas¶
Starting in Dune 3.0, any of the stanzas from the config file
can be used in the dune-workspace file. In this case, the configuration
stanza will only affect the current workspace.
Back to top