Skip to content

Conversation

@Mariatta
Copy link
Member

Reverts #481

Seems like devguide wasn't building properly.
I'm currently on my phone so I can't do much.
Reverting until we can investigate more.

@Mariatta Mariatta merged commit ecb51f5 into master May 12, 2019
@Mariatta Mariatta deleted the revert-481-rtd-build branch May 12, 2019 01:30
@Mariatta Mariatta mentioned this pull request May 12, 2019
@willingc
Copy link
Collaborator

Thanks @Mariatta 👍 I've fixed all through the RTD UI. See issue comments.

AA-Turner pushed a commit to AA-Turner/devguide that referenced this pull request Jun 17, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants