Repository navigation

Document --allow-redefinition - #6345

Merged

gvanrossum merged 2 commits into

doc-allow-redefinitions

Feb 6, 2019

Merged

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

Commits on Feb 6, 2019
- Document --allow-redefinition
  JukkaL
  committed
  3ffd800
- Also document the config file option
  JukkaL
  committed
  96bdbd5