Skip to content

Add pydoc_data - #4351

Merged
hauntsaninja merged 1 commit into
python:masterfrom
PeterJCLaw:add-pydoc_data
Jul 22, 2020
Merged

hauntsaninja merged 1 commit into
python:masterfrom
PeterJCLaw:add-pydoc_data

Conversation

@PeterJCLaw

Copy link
Copy Markdown
Contributor

This appears to be used by jedi at least, so it would be great to have stubs for it.

This appears to be used by jedi at least, so it would be great to
have stubs for it.
@hauntsaninja
hauntsaninja merged commit 29dec52 into python:master Jul 22, 2020
@Akuli Akuli mentioned this pull request Jul 23, 2020
61 of 65 tasks
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