Skip to content

Document --allow-redefinition - #6345

Merged
gvanrossum merged 2 commits into
masterfrom
doc-allow-redefinitions
Feb 6, 2019
Merged

Document --allow-redefinition#6345
gvanrossum merged 2 commits into
masterfrom
doc-allow-redefinitions

Also document the config file option

96bdbd5
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs