Skip to content
This repository has been archived by the owner on Jul 22, 2024. It is now read-only.

cleanup travis script+docu #450

Merged
merged 2 commits into from
Oct 13, 2019
Merged

cleanup travis script+docu #450

merged 2 commits into from
Oct 13, 2019

Conversation

tknopp
Copy link
Collaborator

@tknopp tknopp commented Oct 13, 2019

test

@tknopp tknopp merged commit 86d912c into master Oct 13, 2019
@tknopp tknopp mentioned this pull request Oct 13, 2019
@tknopp tknopp deleted the travis branch October 13, 2019 12:05
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.

1 participant