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

GH1151: Adds /LogFile parameter to DotCoverSettings #1152

Closed
wants to merge 1 commit into from
Closed

GH1151: Adds /LogFile parameter to DotCoverSettings #1152

wants to merge 1 commit into from

Conversation

bjorkstromm
Copy link
Member

Solves #1151

@bjorkstromm bjorkstromm mentioned this pull request Aug 11, 2016
Closed
@bjorkstromm bjorkstromm changed the title Adds /LogFile parameter to DotCoverSettings GH1151: Adds /LogFile parameter to DotCoverSettings Aug 11, 2016
gep13
gep13 approved these changes Oct 12, 2016
View reviewed changes
Copy link
Member

@gep13 gep13 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@gep13
Copy link
Member

gep13 commented Oct 12, 2016

@mholo65 rebased and merged here:

61fa18d

@gep13 gep13 closed this Oct 12, 2016
@bjorkstromm bjorkstromm deleted the feature/GH1151 branch October 13, 2016 19:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@gep13 gep13 gep13 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@bjorkstromm @gep13 @dnfclas