Skip to content

Translate upper left corner title :)#115

Merged
raulcd merged 3 commits into
3.8from
sphinx-internal-improvements
May 7, 2020
Merged

Translate upper left corner title :)#115
raulcd merged 3 commits into
3.8from
sphinx-internal-improvements

Conversation

@humitos

@humitos humitos commented May 7, 2020

Copy link
Copy Markdown
Collaborator

Screenshot_2020-05-07_04-52-15

@humitos humitos force-pushed the sphinx-internal-improvements branch from 63cb046 to 80a1dff Compare May 7, 2020 02:53
@raulcd raulcd merged commit 92dae5f into 3.8 May 7, 2020
@raulcd raulcd deleted the sphinx-internal-improvements branch May 7, 2020 08:01
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.

2 participants