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

Finalisierung Report #56

Merged
merged 1 commit into from
May 30, 2016
Merged

Finalisierung Report #56

merged 1 commit into from
May 30, 2016

Conversation

MichaReiser
Copy link
Owner

No description provided.

@coveralls
Copy link

coveralls commented May 27, 2016 •
edited

Coverage Status

Coverage remained the same at 95.55% when pulling ada0e2b on finalisierung-report into 1b6d215 on master.

@MichaReiser MichaReiser force-pushed the finalisierung-report branch 3 times, most recently from 84029c8 to b31e6c3 Compare May 28, 2016 11:25
@coveralls
Copy link

coveralls commented May 30, 2016 •
edited

Coverage Status

Coverage remained the same at 95.561% when pulling 3dc221c on finalisierung-report into 9b0d5ee on master.

@MichaReiser MichaReiser merged commit 9c04226 into master May 30, 2016
@MichaReiser MichaReiser deleted the finalisierung-report branch May 30, 2016 08:16
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
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@MichaReiser @coveralls