Skip to content

Fix building of documentation. #622

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.

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

Merged
merged 1 commit into from
Jun 25, 2019
Merged

Fix building of documentation. #622

merged 1 commit into from
Jun 25, 2019

Conversation

fredrikekre
Copy link
Member

No description provided.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 81.714% when pulling 74593cb on fe/docs into 1d881f3 on master.

@fredrikekre fredrikekre merged commit 86c16e3 into master Jun 25, 2019
@fredrikekre fredrikekre deleted the fe/docs branch June 25, 2019 17:15
@c42f
Copy link
Member

c42f commented Jun 25, 2019

Nice 👍

@andyferris
Copy link
Member

andyferris commented Jun 26, 2019

Awesome - thanks!

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.

4 participants