Skip to content

Fixes for problems found by sphinx-lint#2205

Merged
humitos merged 1 commit into
python:3.11from
rtobar:trying-sphinx-lint
Nov 17, 2022
Merged

Fixes for problems found by sphinx-lint#2205
humitos merged 1 commit into
python:3.11from
rtobar:trying-sphinx-lint

Conversation

@rtobar

@rtobar rtobar commented Nov 17, 2022

Copy link
Copy Markdown
Collaborator

This serves as a first sample of the errors that sphinx-lint is able to catch, and thus we are able to solve.

Signed-off-by: Rodrigo Tobar rtobar@icrar.org

This serves as a first sample of the errors that sphinx-lint is able to
catch, and thus we are able to solve.

Signed-off-by: Rodrigo Tobar <rtobar@icrar.org>
@rtobar rtobar mentioned this pull request Nov 17, 2022

@humitos humitos left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Excelente trabajo! 👌🏾

@humitos humitos merged commit fb51fd7 into python:3.11 Nov 17, 2022
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