Skip to content

do not consider tools with "deprecated" in the path#810

Merged
jmchilton merged 1 commit intomasterfrom
exclude_deprecated
May 6, 2018
Merged

do not consider tools with "deprecated" in the path#810
jmchilton merged 1 commit intomasterfrom
exclude_deprecated

Conversation

@bgruening
Copy link
Member

add option to ignore tools that have deprecated in its path ...

@jmchilton jmchilton merged commit 6113aaf into master May 6, 2018
@nsoranzo nsoranzo deleted the exclude_deprecated branch May 29, 2020 12:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants