scripts/pylint/pylintrc
changeset 775 d18d286df40f
parent 388 699b206b64b7
child 833 1b9604b95eeb
equal deleted inserted replaced
774:88a827a9b614 775:d18d286df40f