Skip to content
This repository has been archived by the owner on Mar 5, 2019. It is now read-only.

Develop #1

Merged
merged 3 commits into from
Oct 17, 2018
Merged

Develop #1

merged 3 commits into from
Oct 17, 2018

Conversation

Davide-Gheri
Copy link
Contributor

No description provided.

@coveralls
Copy link

Pull Request Test Coverage Report for Build 20

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 93.333%

Totals Coverage Status
Change from base Build 19: 0.0%
Covered Lines: 20
Relevant Lines: 20

💛 - Coveralls

@Davide-Gheri Davide-Gheri merged commit 4852430 into master Oct 17, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants