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

Minor Travis CI updates #129

Merged
merged 3 commits into from Oct 16, 2019
Merged

Minor Travis CI updates #129

merged 3 commits into from Oct 16, 2019

Conversation

Jalle19
Copy link
Contributor

@Jalle19 Jalle19 commented Oct 16, 2019

No description provided.

@Jalle19 Jalle19 merged commit 909b54b into develop Oct 16, 2019
@Jalle19 Jalle19 deleted the travis branch October 16, 2019 13:09
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

1 participant