Skip to content

Add option --extend-exclude#76

Merged
fpgmaas merged 2 commits intomainfrom
75-extend-exclude
Sep 10, 2022
Merged

Add option --extend-exclude#76
fpgmaas merged 2 commits intomainfrom
75-extend-exclude

Conversation

@fpgmaas
Copy link
Owner

@fpgmaas fpgmaas commented Sep 10, 2022 •
edited
Loading

PR Checklist

  • A description of the changes is added to the description of this PR.
  • If there is a related issue, make sure it is linked to this PR.
  • If you've fixed a bug or added code that should be tested, add tests!
  • Documentation in docs is updated

Description of changes

@fpgmaas fpgmaas linked an issue Sep 10, 2022 that may be closed by this pull request
Add option --extends-exclude to CLI #75
Closed
@fpgmaas fpgmaas merged commit 352c5a6 into main Sep 10, 2022
@fpgmaas fpgmaas deleted the 75-extend-exclude branch September 10, 2022 04:55
fpgmaas added a commit that referenced this pull request Oct 2, 2022
@fpgmaas
Add option --extend-exclude (#76)
5fb5573 
* extend exclude
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Add option --extends-exclude to CLI

1 participant

@fpgmaas