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.

Sign up for GitHub

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

Jump to bottom

Fix #13138: use underscore prefix to ignore directories #13167

Merged
merged 1 commit into from
Mar 25, 2014
Merged

Fix #13138: use underscore prefix to ignore directories #13167

merged 1 commit into from
Mar 25, 2014

Conversation

zlatanvasovic
Copy link
Contributor

Fixes #13138.

@cvrebert
Copy link
Collaborator

LGTM.
@XhmikosR: Look+sound good to you?

@cvrebert cvrebert added the meta label Mar 24, 2014
@cvrebert cvrebert added this to the v3.2.0 milestone Mar 24, 2014
@mdo
Copy link
Member

mdo commented Mar 25, 2014

All set from my perspective.

cvrebert added a commit that referenced this pull request Mar 25, 2014
@cvrebert
Merge pull request #13167 from ZDroid/underscore
eb102c2 
Fix #13138: use underscore prefix to ignore directories
@cvrebert cvrebert merged commit eb102c2 into twbs:master Mar 25, 2014
@cvrebert
Copy link
Collaborator

@zdroid Thanks.

@mdo mdo mentioned this pull request Mar 25, 2014
Closed
@XhmikosR
Copy link
Member

Late but 👍

@zlatanvasovic
Copy link
Contributor Author

👼

@zlatanvasovic zlatanvasovic deleted the underscore branch July 17, 2014 08:52
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
meta
Projects
None yet
Milestone
v3.2.0
Development

Successfully merging this pull request may close these issues.

Prefixing with underscore instead of ignoring
4 participants
@zlatanvasovic @cvrebert @mdo @XhmikosR