blob: 25d323e7e71b9631c1c461fea44ca64adacee9eb [file] [log] [blame]
Pylint will now filter duplicates given to it before linting. The output should
be the same whether a file is given/discovered multiple times or not.
Closes #6242, #4053