tools/pkglint.sh
changeset 1430 24f4aebfd6a5
parent 1188 d563dccb5adb
child 1856 5cf0993ae969
equal deleted inserted replaced
1429:df24a4a6dff1 1430:24f4aebfd6a5