New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Misc doc updates #103

Merged

erikbern merged 2 commits into master from doc-update

Aug 2, 2019

Contributor

erikbern commented Aug 2, 2019

No description provided.

Erik Bernhardsson added 2 commits

August 2, 2019 11:35


          misc doc update

ab9f9cc


          build documentation without installing dependencies

fe11423

coveralls commented Aug 2, 2019

Coverage remained the same at 95.368% when pulling fe11423 on doc-update into d944667 on master.

erikbern merged commit 4389e64 into master

erikbern deleted the doc-update branch

August 2, 2019 15:48

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment