Skip to content
This repository was archived by the owner on Dec 3, 2019. It is now read-only.

More nits#146

Merged
StanleyGoldman merged 1 commit intomasterfrom
cleanup
Dec 10, 2018
Merged

More nits#146
StanleyGoldman merged 1 commit intomasterfrom
cleanup

Conversation

@StanleyGoldman
Copy link
Copy Markdown
Member

No description provided.

@StanleyGoldman StanleyGoldman merged commit 6ddcb1d into master Dec 10, 2018
@StanleyGoldman StanleyGoldman deleted the cleanup branch December 10, 2018 01:37
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