Skip to content

Use --include_ignored_paths=<paths> to include additional ignored paths#36

Merged
danielbachhuber merged 2 commits into
masterfrom
additional-ignored-paths
Mar 17, 2017
Merged

Use --include_ignored_paths=<paths> to include additional ignored paths#36
danielbachhuber merged 2 commits into
masterfrom
additional-ignored-paths

Conversation

@danielbachhuber
Copy link
Copy Markdown
Member

No description provided.

@danielbachhuber danielbachhuber added this to the 0.1.3 milestone Mar 17, 2017
@danielbachhuber danielbachhuber merged commit 44e0bf6 into master Mar 17, 2017
@danielbachhuber danielbachhuber deleted the additional-ignored-paths branch March 17, 2017 23:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant