Skip to content

[UPDATE] update sources from PR #51 sphinxcontrib-tomyst - #20

Merged
mmcky merged 1 commit into
masterfrom
update-sources
Sep 16, 2020
Merged

[UPDATE] update sources from PR #51 sphinxcontrib-tomyst#20
mmcky merged 1 commit into
masterfrom
update-sources

Conversation

@mmcky

@mmcky mmcky commented Sep 16, 2020

Copy link
Copy Markdown
Contributor

@mmcky mmcky changed the title update sources from PR #51 sphinxcontrib-tomyst [UPDATE] update sources from PR #51 sphinxcontrib-tomyst Sep 16, 2020
@github-actions
github-actions Bot temporarily deployed to commit September 16, 2020 04:21 Inactive
@mmcky
mmcky merged commit a794344 into master Sep 16, 2020
@mmcky
mmcky deleted the update-sources branch September 16, 2020 04:26
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