tools/pkglint.sh
changeset 7539 f01c0ae41b1b
parent 5682 94c0ca64c022
equal deleted inserted replaced
7530:70d78b6a44bb 7539:f01c0ae41b1b