Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

use_covr_ignore #434

Closed
hadley opened this issue Aug 12, 2018 · 1 comment
Closed

use_covr_ignore #434

hadley opened this issue Aug 12, 2018 · 1 comment
Labels
feature a feature request or enhancement git git, GitHub, and CI in general

Comments

@hadley
Copy link
Member

hadley commented Aug 12, 2018

To mirror use_build_ignore
@hadley hadley added feature a feature request or enhancement git git, GitHub, and CI in general labels Nov 24, 2018
@hadley hadley mentioned this issue Nov 24, 2018
Closed
@hadley
Copy link
Member Author

hadley commented Nov 26, 2018

Fixed in eb5ffc0

@hadley hadley closed this as completed Nov 26, 2018
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
feature a feature request or enhancement git git, GitHub, and CI in general
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@hadley