Skip to content

use pallets-sphinx-themes#1100

Merged
davidism merged 1 commit into
masterfrom
sphinx
Aug 28, 2018
Merged

use pallets-sphinx-themes#1100
davidism merged 1 commit into
masterfrom
sphinx

Conversation

@davidism

Copy link
Copy Markdown
Member

No description provided.

@davidism
davidism merged commit b1b8c48 into master Aug 28, 2018
@davidism
davidism deleted the sphinx branch August 28, 2018 16:31
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Nov 13, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant