tools/pkglintrc
changeset 1420 597ecfc1f6c0
parent 1251 f1fb66b52f41
child 3951 44e39665111f
equal deleted inserted replaced
1419:a13e688bbe2d 1420:597ecfc1f6c0