Skip to content

Fix travis build#2

Merged
greschd merged 3 commits intodevelopfrom
fix_travis_build
Jan 29, 2020
Merged

Fix travis build#2
greschd merged 3 commits intodevelopfrom
fix_travis_build

Conversation

@greschd
Copy link
Copy Markdown
Owner

@greschd greschd commented Jan 29, 2020

No description provided.

@greschd greschd merged commit 32de76a into develop Jan 29, 2020
@greschd greschd deleted the fix_travis_build branch January 29, 2020 19:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant