scripts/pylint/pylintrc
changeset 433 001b981be45e
parent 388 699b206b64b7
child 833 1b9604b95eeb
equal deleted inserted replaced
432:1851d67a1004 433:001b981be45e