tools/pkglint.sh
changeset 5211 0522531b2f1d
parent 1856 5cf0993ae969
child 5682 94c0ca64c022
equal deleted inserted replaced
5210:f83eefca4ec2 5211:0522531b2f1d