scripts/pylint/pylintrc
changeset 2065 edac5ddc8ef0
parent 1616 e7be52fec71c
child 2071 0aa24d8655ac
equal deleted inserted replaced
2064:031406b4789d 2065:edac5ddc8ef0