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

Minor edits docs #145

Merged

bstellato merged 1 commit into develop from bs/minor_docs_fix

May 21, 2019

Collaborator

bstellato commented May 21, 2019

Minor docs fix for mkl


          Minor edits docs

ed51cd9

bstellato merged commit 1233c91 into develop

coveralls commented May 21, 2019

Coverage remained the same at 87.654% when pulling ed51cd9 on bs/minor_docs_fix into d732e9a on develop.

goulart-paul deleted the bs/minor_docs_fix branch

September 12, 2019 16:06

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

Labels

None yet