scripts/pylint/pylintrc
changeset 2032 b881417db09e
parent 1616 e7be52fec71c
child 2071 0aa24d8655ac
equal deleted inserted replaced
2031:f018461e0f8a 2032:b881417db09e