Skip to content

Conversation

@jimboid
Copy link
Member

@jimboid jimboid commented Aug 9, 2019

This should be improved significantly over time, but is a larger effort
and should form its own github issue.

closes #119

This should be improved significantly over time, but is a larger effort
and should form its own github issue.
@jimboid jimboid merged commit d627a46 into master Aug 9, 2019
@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling b4cca3f on issue119 into 56e89f0 on master.

@jimboid jimboid deleted the issue119 branch December 2, 2019 15:54
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.

Add the new API docs

3 participants