Skip to content

Set Sphinx language#42

Merged
bbayles merged 1 commit into
masterfrom
sphinx-language
Aug 30, 2022
Merged

Set Sphinx language#42
bbayles merged 1 commit into
masterfrom
sphinx-language

Conversation

@bbayles
Copy link
Copy Markdown
Owner

@bbayles bbayles commented Aug 30, 2022

This PR fixes a build problem with the docs.

@bbayles bbayles merged commit 9601ff9 into master Aug 30, 2022
@bbayles bbayles deleted the sphinx-language branch August 30, 2022 18:47
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.

1 participant