Skip to content

Only thrift-lint the direct sources of a linted target.#7219

Merged
stuhood merged 1 commit intopantsbuild:masterfrom twitter:stuhood/remove-redundant-lintingFeb 6, 2019

Commits

Commits on Feb 5, 2019