mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-01-01 17:13:24 +08:00
This is a small cosmetic change. I want to encourage use of the nicer-lookng pytype.config.Options.create() rather than direct construction of the command-line args, so I'm changing over all occurrences of the latter that I can find.