tools/pkglint.sh
changeset 5213 68d34c2581d6
parent 1856 5cf0993ae969
child 5682 94c0ca64c022
equal deleted inserted replaced
5212:a2fe1318c18d 5213:68d34c2581d6