tools/pkglint.sh
changeset 5171 4e8b3c0ea78c
parent 1856 5cf0993ae969
child 5682 94c0ca64c022