scripts/pylint/pylintrc
changeset 1930 2222bed78e7f
parent 1616 e7be52fec71c
child 2071 0aa24d8655ac
equal deleted inserted replaced
1929:1ce28a2dd71f 1930:2222bed78e7f