Skip to content

Move the typing tools section to the index#847

Merged
hauntsaninja merged 1 commit intopython:masterfrom
srittau:move-references
Aug 23, 2021
Merged

Move the typing tools section to the index#847
hauntsaninja merged 1 commit intopython:masterfrom
srittau:move-references

Conversation

@srittau
Copy link
Collaborator

@srittau srittau commented Aug 23, 2021

  • Enable the intersphinx extension for linking to Python
    documentation.
  • Use inline links instead of footnotes for links to projects and
    modules.
  • Mention that typed_ast is available on PyPI.

* Enable the intersphinx extension for linking to Python
  documentation.
* Use inline links instead of footnotes for links to projects and
  modules.
* Mention that typed_ast is available on PyPI.
@hauntsaninja hauntsaninja merged commit 9e1e447 into python:master Aug 23, 2021
@srittau srittau deleted the move-references branch August 23, 2021 21:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants