scripts/pylint/pylintrc
changeset 1656 9ffee5d1fe17
parent 1616 e7be52fec71c
child 2071 0aa24d8655ac
equal deleted inserted replaced
1655:ed1df29f4fd9 1656:9ffee5d1fe17