tools/pkglint.sh
changeset 7108 e30b3b76a5ab
parent 5682 94c0ca64c022
equal deleted inserted replaced
7105:60994030253b 7108:e30b3b76a5ab