Document --ignore-dir=FILTER:FILTERARGS #170

Closed
hoelzro opened this Issue Dec 15, 2012 · 0 comments

Comments

Projects
None yet
2 participants
Collaborator

hoelzro commented Dec 15, 2012

Currently, the documentation for --ignore-dir only allows --ignore-dir=DIRNAME. You may also use the new --ignore-dir=is:DIRNAME syntax; in the future, other filter types will also be allowed. The documentation should be updated to reflect this.

@petdance petdance added ignores and removed low-hanging-fruit labels Mar 17, 2017

petdance removed this from the Later milestone Mar 18, 2017

petdance closed this Mar 29, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment