tools/pkglint.sh
changeset 7851 f82a18f72950
parent 5682 94c0ca64c022