Skip to content

Do not lint ignored file on stdin#7220

Merged
Pierre-Sassoulas merged 5 commits into
pylint-dev:mainfrom
christoph-blessing:issue-4354
Sep 3, 2022
Merged

Do not lint ignored file on stdin#7220
Pierre-Sassoulas merged 5 commits into
pylint-dev:mainfrom
christoph-blessing:issue-4354

Commits

Commits on Jul 22, 2022