Closed markvincze closed 4 years ago
This PR introduces the capability to configure a "default" configuration when using local options, so that when we use commands for which we don't have a specific config, we fall back to the default one.
This PR introduces the capability to configure a "default" configuration when using local options, so that when we use commands for which we don't have a specific config, we fall back to the default one.