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

Explain format for excluding multiple directories #31

Open
wants to merge 1 commit into
base: dev
Choose a base branch
from

Conversation

ricardograca
Copy link

Fixes #30.

@ricardograca
Copy link
Author

@jugglinmike Any problem with the PR?

@jugglinmike
Copy link
Member

Just waiting for the feature to be released in a stable version. (Barring any trouble with the second release candidate, 2.9.1 should be out within the week.)

@ricardograca
Copy link
Author

So, 2.9.1 has been out for about 2 years now. The documentation issue this fixes is still there. Will this be merged?

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.

None yet

2 participants