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

Clean some lint #11

Merged
merged 1 commit into from
Jan 31, 2019
Merged

Clean some lint #11

merged 1 commit into from
Jan 31, 2019

Conversation

paulmelnikow
Copy link

No description provided.

@paulmelnikow paulmelnikow merged commit 6eaabf2 into master Jan 31, 2019
@paulmelnikow paulmelnikow deleted the clean-lint branch January 31, 2019 17:29
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