scripts/pylint/pylintrc
changeset 1819 1e34fa8c5da0
parent 1616 e7be52fec71c
child 2071 0aa24d8655ac
equal deleted inserted replaced
1818:fec380dac186 1819:1e34fa8c5da0