Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feature: merge multiple "--config" and "--config-directory" flags #9007

Merged
merged 5 commits into from May 18, 2021

Commits on Mar 18, 2021

  1. can now use multiple config files/snippets and config directories by …

    …using multiple --config or --config-directory flags
    gdunstone committed Mar 18, 2021
    Copy the full SHA
    47501e6 View commit details
    Browse the repository at this point in the history
  2. needed to make fmt

    gdunstone committed Mar 18, 2021
    Copy the full SHA
    9d9aec6 View commit details
    Browse the repository at this point in the history
  3. Copy the full SHA
    d6b8eba View commit details
    Browse the repository at this point in the history
  4. make fmt

    gdunstone committed Mar 18, 2021
    Copy the full SHA
    0f2aa63 View commit details
    Browse the repository at this point in the history
  5. no need to pre define err

    gdunstone committed Mar 18, 2021
    Copy the full SHA
    f26bfe6 View commit details
    Browse the repository at this point in the history