Skip to content

Comments

lint#69

Merged
svenkreiss merged 2 commits intomasterfrom
lint
Jan 30, 2020
Merged

lint#69
svenkreiss merged 2 commits intomasterfrom
lint

Conversation

@svenkreiss
Copy link
Owner

No description provided.

@svenkreiss svenkreiss merged commit 171b531 into master Jan 30, 2020
@svenkreiss svenkreiss deleted the lint branch January 30, 2020 17:28
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