Skip to content

Use stubgen's --export-less option in create_baseline_stubs.py#8843

Merged
JelleZijlstra merged 1 commit into
masterfrom
stubgen-less
Oct 4, 2022
Merged

Use stubgen's --export-less option in create_baseline_stubs.py#8843
JelleZijlstra merged 1 commit into
masterfrom
stubgen-less

Conversation

@AlexWaygood

Copy link
Copy Markdown
Member

This seems to work pretty well, from playing around with it locally. Closes #8837

@JelleZijlstra
JelleZijlstra merged commit 1fc58e5 into master Oct 4, 2022
@JelleZijlstra
JelleZijlstra deleted the stubgen-less branch October 4, 2022 17:58
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.

scripts/create_baseline_stubs.py instructions are outdated

3 participants