tools/pkglint.sh
changeset 1428 94d2b78b3e05
parent 1188 d563dccb5adb
child 1856 5cf0993ae969