Skip to content

Rename the documentation#854

Merged
JelleZijlstra merged 1 commit intopython:masterfrom
srittau:docs-title
Aug 24, 2021
Merged

Rename the documentation#854
JelleZijlstra merged 1 commit intopython:masterfrom
srittau:docs-title

Conversation

@srittau
Copy link
Collaborator

@srittau srittau commented Aug 24, 2021

Use correct heading level

Use correct heading level
@JelleZijlstra JelleZijlstra merged commit 651cb58 into python:master Aug 24, 2021
@srittau srittau deleted the docs-title branch August 24, 2021 21:56
@srittau srittau added the topic: documentation Documentation-related issues and PRs label Oct 7, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CLA signed topic: documentation Documentation-related issues and PRs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants