Skip to content

Ignoring a file with a single # type: ignore comment.#6830

Merged
gvanrossum merged 7 commits intopython:masterfrom brandtbucher:ignore-fileMay 16, 2019

Commits

Commits on May 14, 2019

Commits on May 15, 2019

Commits on May 16, 2019