scripts/pylint/pylintrc
changeset 714 3e2ce3d8057a
parent 388 699b206b64b7
child 833 1b9604b95eeb
equal deleted inserted replaced
713:bcd480745f44 714:3e2ce3d8057a