Skip to content
This repository was archived by the owner on Apr 9, 2025. It is now read-only.

Demo the extension in a link in the very first sentence #214

Merged
merged 3 commits into from
Aug 10, 2022

Conversation

benjaoming
Copy link
Contributor

No description provided.

@benjaoming benjaoming requested a review from a team as a code owner July 20, 2022 15:49
@benjaoming benjaoming requested a review from ericholscher July 20, 2022 15:49
@benjaoming benjaoming force-pushed the intersphinx-to-sphinx branch 2 times, most recently from f5900ea to 939ae2d Compare August 9, 2022 14:25
@benjaoming benjaoming force-pushed the intersphinx-to-sphinx branch from 939ae2d to 47e4dac Compare August 9, 2022 14:29
@benjaoming benjaoming requested a review from humitos August 10, 2022 12:48
@benjaoming benjaoming enabled auto-merge (squash) August 10, 2022 15:20
@benjaoming benjaoming merged commit d860725 into readthedocs:main Aug 10, 2022
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.

2 participants