components/pylint/manpages/pylint-gui.1
changeset 658 714803fd87a0
parent 247 c57f32335aee
child 1023 d2db2bc970c3
child 2424 4dacf13d67f7
equal deleted inserted replaced
657:5ec76cbd6116 658:714803fd87a0