tools/pkglintrc
changeset 774 d0cbca26a17c
parent 519 64d5e70ee0eb
child 1020 4740049105f5
equal deleted inserted replaced
773:cfddc5466118 774:d0cbca26a17c